Completeness theorems for reactive modal logics.

Published in: Ann. Math. Artif. Intell. (2012)

Keyphrases

modal logic
sequent calculus
kripke models
temporal logic
decision procedures
inference rules
cut elimination
nonmonotonic logics
epistemic logic
classical logic
situation calculus
reactive planning
default logic
agent architecture
dynamic logic
data quality
model checking
autoepistemic logic
satisfiability problem