A Cut-Free Gentzen-Type System for the Modal Logic S5.

Published in: J. Symb. Log. (1980)

Keyphrases

modal logic
sequent calculus
decision procedures
temporal logic
inference rules
epistemic logic
nonmonotonic logics
prime implicates
cut elimination
classical logic
default logic
conditional logic
explanation based generalization
situation calculus
bayesian networks
modal operators
dynamic logic