Sequent Calculi for the Modal µ-Calculus over S5.

Published in: J. Log. Comput. (2009)

Keyphrases

sequent calculi
modal logic
cut elimination
sequent calculus
inference rules
temporal logic
linear logic
natural deduction
decision procedures
conditional logic
wide class
transition systems
classical logic
situation calculus
modal operators
general purpose
sufficient conditions