An Axiom System for Basic Hybrid Logic with Propositional Quantifiers.
Patrick BlackburnTorben BraünerJulie Lundbak KofodPublished in: WoLLIC (2023)
Keyphrases
- first order logic
- modal logic
- sound and complete axiomatization
- multi valued
- inference rules
- proof procedure
- propositional logic
- probabilistic logic
- horn clauses
- classical first order logic
- predicate calculus
- logic programming
- classical logic
- default logic
- natural language
- deductive reasoning
- autoepistemic logic
- logical framework
- probability theory
- hybrid learning
- automated reasoning
- relational databases
- neural network
- predicate logic
- theorem prover
- abductive reasoning
- deontic logic
- proof theory
- expressive power
- propositional theories
- knowledge representation
- np complete