Non-Analytic Tableaux for Chellas's Conditional Logic CK and Lewis's Logic of Counterfactuals VC.
Richard ZachPublished in: CoRR (2018)
Keyphrases
- conditional logic
- modal logic
- sequent calculi
- higher order logic
- default reasoning
- decision procedures
- temporal logic
- defeasible reasoning
- sound and complete axiomatization
- inference rules
- nonmonotonic reasoning
- belief revision
- nonmonotonic inference
- nonmonotonic logics
- causal models
- dynamic logic
- artificial intelligence
- knowledge representation and reasoning
- default logic
- situation calculus
- np complete
- logic programming
- object oriented