Tableaux Based Decision Procedures for Modal Logics of Confluence and Density.

Luis Fariñas del Cerro Olivier Gasquet

Published in: Fundam. Informaticae (1999)

Keyphrases

decision procedures
modal logic
temporal logic
inference rules
theorem proving
automated reasoning
model theoretic
epistemic logic
conditional logic
situation calculus
tight complexity bounds
nonmonotonic logics
default logic
conjunctive queries
model checking
database systems
knowledge base
modal operators
database