From A Hilbert Calculus to its Model Theoretic Semantics.
Dov M. GabbayHans Jürgen OhlbachPublished in: ALPUK (1992)
Keyphrases
- model theoretic
- proof procedure
- proof theoretic
- deductive databases
- description logics
- operational semantics
- decision procedures
- logic programs
- fixpoint semantics
- fixpoint
- default reasoning
- probabilistic reasoning
- logic programming
- reasoning mechanism
- reasoning problems
- formal semantics
- theorem proving
- integrity constraints
- autoepistemic logic
- constraint satisfaction
- knowledge representation
- mental states
- algebraic structure
- modal logic
- probabilistic logic
- automated reasoning