Rigid First-Order Hybrid Logic.
Patrick BlackburnManuel A. MartinsMaría ManzanoAntonia HuertasPublished in: WoLLIC (2019)
Keyphrases
- general logic programs
- linear temporal logic
- logic programming
- classical logic
- predicate calculus
- horn clauses
- classical first order logic
- neural network
- multi valued
- first order logic
- computational properties
- conditional logic
- sound and complete with respect
- higher order
- quantifier elimination
- valued logic
- linear logic
- sound and complete axiomatization
- digital circuits
- model theoretic
- operational semantics
- probabilistic logic
- modal logic
- logic programs
- abductive reasoning
- predicate logic
- proof theory
- action theories
- causal theories
- quantifier free
- finite model theory