Some characterization and preservation theorems in modal logic.

Tin Perkov Mladen Vukovic

Published in: Ann. Pure Appl. Log. (2012)

Keyphrases

modal logic
sequent calculus
temporal logic
decision procedures
inference rules
classical logic
cut elimination
default logic
conditional logic
situation calculus
nonmonotonic logics
epistemic logic
dynamic logic
autoepistemic logic
prime implicates
cooperative
machine learning