HTab: a Terminating Tableaux System for Hybrid Logic.
Guillaume HoffmannCarlos ArecesPublished in: Electron. Notes Theor. Comput. Sci. (2009)
Keyphrases
- modal logic
- sequent calculi
- temporal logic
- automated reasoning
- decision procedures
- classical logic
- logic programming
- epistemic logic
- case study
- classical first order logic
- first order logic
- dynamic logic
- proof procedure
- theorem prover
- sound and complete axiomatization
- neural network
- inference rules
- data model
- multi agent
- information systems