A Note on Assumption-Completeness in Modal Logic.

Jonathan A. Zvesper Eric Pacuit

Published in: LOFT (2008)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
classical logic
conditional logic
epistemic logic
nonmonotonic logics
situation calculus
default logic
dynamic logic
model checking
data quality
autoepistemic logic
modal operators
artificial intelligence
prime implicates
multi agent