Decidable and enumerable predicate logics of provability.
Giorgie DzhaparidzePublished in: Stud Logica (1990)
Keyphrases
- first order logic
- expressive power
- datalog programs
- inference rules
- valued logic
- propositional logic
- theorem proving
- inductive inference
- knowledge representation
- computational properties
- transitive closure
- inductive logic programming
- modal logic
- data complexity
- horn clauses
- function symbols
- deductive databases
- horn logic
- theorem prover
- classical logic
- higher order
- decision procedures
- logical framework
- query answering
- epistemic logic
- conjunctive queries
- proof theory
- machine learning