Functional Translation and Second-Order Frame Properties of Modal Logics.

Hans Jürgen Ohlbach Renate A. Schmidt

Published in: J. Log. Comput. (1997)

Keyphrases

modal logic
decision procedures
inference rules
nonmonotonic logics
temporal logic
desirable properties
epistemic logic
functional properties
artificial intelligence
higher order
machine translation
classical logic
kripke models