Labelled Natural Deduction for Conditional Logics of Normality.
Krysia BrodaDov M. GabbayLuís C. LambAlessandra RussoPublished in: Log. J. IGPL (2002)
Keyphrases
- natural deduction
- conditional logic
- theorem prover
- higher order logic
- modal logic
- inference rules
- default reasoning
- belief revision
- nonmonotonic reasoning
- cut elimination
- sequent calculus
- theorem proving
- intuitionistic logic
- nonmonotonic inference
- knowledge representation and reasoning
- first order logic
- automated reasoning
- linear time temporal logic
- partial order
- linear logic
- temporal logic
- sound and complete axiomatization
- default logic