Canonicity for Intensional Logics with Even Axioms.
Timothy J. SurendonkPublished in: J. Symb. Log. (2001)
Keyphrases
- expressive power
- computational properties
- first order logic
- modal logic
- knowledge base
- valued logic
- inference rules
- propositional calculus
- higher order
- nonmonotonic inference
- classical logic
- set theory
- kripke models
- axiomatic characterization
- conditional logic
- epistemic logic
- query evaluation
- inheritance reasoning
- logic programs
- proof theory
- nonmonotonic logics
- truth values
- neural network
- default logic
- context dependent
- belief revision