Back and Forth Between Modal Logic and Classical Logic.

Hajnal Andréka Johan van Benthem István Németi

Published in: Log. J. IGPL (1995)

Keyphrases

classical logic
modal logic
temporal logic
decision procedures
inference rules
possibilistic logic
intuitionistic logic
nonmonotonic logics
epistemic logic
default logic
situation calculus
autoepistemic logic
dynamic logic
valued logic
sequent calculus
nonmonotonic reasoning
modal operators
general logic programs