Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse.
Mark KaminskiGert SmolkaPublished in: IJCAR (2008)
Keyphrases
- modal logic
- sequent calculi
- automated reasoning
- multi modal
- decision procedures
- classical logic
- medical images
- nonmonotonic logics
- asynchronous circuits
- proof procedure
- multi valued
- predicate logic
- epistemic logic
- functional dependencies
- multi agent
- information systems
- set theory
- digital circuits
- proof theory
- database systems