Theorem proving for conditional logics: CondLean and GOALDUCK
From MaRDI portal
Publication:3643366
DOI10.3166/jancl.18.427-473zbMath1180.03014MaRDI QIDQ3643366
Nicola Olivetti, Gian Luca Pozzato
Publication date: 11 November 2009
Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.3166/jancl.18.427-473
theorem proving; sequent calculi; conditional logics; goal-directed proof methods; labeled deductive systems
Related Items
Mechanising Gödel-Löb provability logic in HOL light, Embedding and automating conditional logics in classical higher-order logic, CSL-lean: A Theorem-prover for the Logic of Comparative Concept Similarity
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Conditional logic of actions and causation
- A first-order conditional logic for prototypical properties
- Nonmonotonic reasoning, preferential models and cumulative logics
- A sequent- or tableau-style system for Lewis's counterfactual logic VC
- Basic conditional logic
- Iterated belief revision and conditional logic
- lean\(T^ AP\): Lean tableau-based deduction
- Automated reasoning with analytic tableaux and related methods. 16th international conference, TABLEAUX 2007, Aix en Provence, France, July 3--6, 2007. Proceedings.
- Weak AGM postulates and strong Ramsey test: A logical formalization
- Uniform proofs as a foundation for logic programming
- A Gentzen- or Beth-type system, a practical decision procedure and a constructive completeness proof for the counterfactual logics VC and VCS
- A general approach for determining the validity of commonsense assertions using conditional logics
- lean TAP revisited
- Updates and counterfactuals
- Conditional reasoning in logic programming
- Labelled Tableaux for Nonmonotonic Reasoning: Cumulative Consequence Relations
- Plausibility measures and default reasoning
- Goal-directed proof theory
