A Proof Procedure for Hybrid Logic with Binders, Transitivity and Relation Hierarchies (extended version).
Marta Cialdea MayerPublished in: CoRR (2013)
Keyphrases
- proof procedure
- theorem proving
- propositional logic
- proof procedures
- first order logic
- predicate calculus
- fuzzy relations
- proof search
- model theoretic
- inference rules
- automated reasoning
- propositional satisfiability
- theorem prover
- formal model
- logic programming
- description logics
- programming language
- relational databases
- machine learning