Complete Abstractions and Subclassical Modal Logics.

Vijay Victor D'Silva Marcelo Sousa

Published in: VMCAI (2017)

Keyphrases

modal logic
decision procedures
temporal logic
inference rules
nonmonotonic logics
classical logic
default logic
epistemic logic
high level
knowledge base
cooperative
search space
autoepistemic logic
logic programming
np complete
situation calculus