Syntactical results on the arithmetical completeness of modal logic.

Paolo Gentilini

Published in: Stud Logica (1993)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
classical logic
default logic
nonmonotonic logics
explanation based generalization
dynamic logic
situation calculus
model checking
epistemic logic
conditional logic
autoepistemic logic
domain knowledge
sequent calculus
artificial intelligence