Login / Signup
Modular Sequent Systems for Modal Logic.
Kai Brünnler
Lutz Straßburger
Published in:
TABLEAUX (2009)
Keyphrases
</>
modal logic
inference rules
temporal logic
decision procedures
classical logic
epistemic logic
management system
conditional logic
distributed systems
default logic
computer systems
complex systems
dynamic logic