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