Quick completeness proofs for some logics of conditionals.
John P. BurgessPublished in: Notre Dame J. Formal Log. (1981)
Keyphrases
- conditional logic
- modal logic
- decision procedures
- formal proofs
- inheritance reasoning
- equational theories
- proof theoretic
- default reasoning
- belief revision
- cut elimination
- sequent calculus
- nonmonotonic reasoning
- inference rules
- theorem proving
- temporal logic
- nonmonotonic inference
- expressive power
- theorem prover
- classical logic
- theoretically sound
- proof theory
- order sorted
- mathematical proofs
- multiple inheritance
- natural deduction
- default logic
- data quality
- higher order
- knowledge base
- automated theorem provers
- information systems
- real time