Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by D Basin
Labelled Propositional Modal Logics: Theory and Practice
Journal of Logic and Computation
Arts
Humanities
Hardware
Architecture
Logic
Theoretical Computer Science
Software
Related publications
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