Approximations of modal logics: K and beyond.

Guilherme de Souza Rabello Marcelo Finger

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

Keyphrases

modal logic
temporal logic
inference rules
decision procedures
nonmonotonic logics
epistemic logic
default logic
conditional logic
situation calculus
classical logic
dynamic logic
sufficient conditions
model checking
modal operators