An algebraic look at filtrations in modal logic.

Willem Conradie Wilmari Morton Clint J. van Alten

Published in: Log. J. IGPL (2013)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
classical logic
epistemic logic
conditional logic
situation calculus
nonmonotonic logics
default logic
relational databases
autoepistemic logic
model checking
modal operators