Amanote Research
Register
Sign In
Labelled Propositional Modal Logics: Theory and Practice
Journal of Logic and Computation
- United Kingdom
doi 10.1093/logcom/7.6.685
Full Text
Open PDF
Abstract
Available in
full text
Categories
Arts
Humanities
Hardware
Architecture
Logic
Theoretical Computer Science
Software
Date
December 1, 1997
Authors
D Basin
Publisher
Oxford University Press (OUP)
Related search
Super-Łukasiewicz Propositional Logics
Nagoya Mathematical Journal
Mathematics
Compact Propositional Godel Logics
Towards a Proof Theory of Gödel Modal Logics
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Implementation of Propositional Temporal Logics Using BDDs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Translating Classical Probability Logics Into Modal Fuzzy Logics
Modal Logics of Reactive Frames
Cognitive Technologies
Modal Logics for Continuous Dynamics
Sequent Systems for Modal Logics
The Complexity of Model Checking for Propositional Default Logics
Data and Knowledge Engineering
Information Systems
Management
