A Deep Inference System for the Modal Logic S5.

Phiniki Stouppa

Published in: Stud Logica (2007)

Keyphrases

modal logic
temporal logic
inference rules
decision procedures
classical logic
nonmonotonic logics
epistemic logic
default logic
conditional logic
situation calculus
dynamic logic
prime implicates
programming language
modal operators
sequent calculus