A proof-theoretic study of the correspondence of classical logic and modal logic.

Hirohiko Kushida Mitsu Okada

Published in: J. Symb. Log. (2003)

Keyphrases

modal logic
classical logic
intuitionistic logic
temporal logic
decision procedures
proof theoretic
inference rules
default logic
logic programming
default reasoning
autoepistemic logic
nonmonotonic logics
machine learning
logic programs
situation calculus
nonmonotonic reasoning