The Grounds for the Model-theoretic Account of the Logical Properties.
Manuel García-Carpintero Sánchez-MiguelPublished in: Notre Dame J. Formal Log. (1993)
Keyphrases
- logical properties
- model theoretic
- belief revision
- default reasoning
- deductive databases
- operational semantics
- proof theoretic
- description logics
- decision procedures
- logic programs
- fixpoint
- probabilistic reasoning
- nonmonotonic reasoning
- belief change
- computational complexity
- propositional logic
- relational databases
- probabilistic logic
- special case
- data model