Standard Sequent Calculi for Lewis’ Logics of Counterfactuals
From MaRDI portal
Publication:2835877
DOI10.1007/978-3-319-48758-8_18zbMath1485.03036OpenAlexW2540819425MaRDI QIDQ2835877
Nicola Olivetti, Björn Lellmann, Marianna Girlando, Gian Luca Pozzato
Publication date: 30 November 2016
Published in: Logics in Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/2318/1640054
Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42) Cut-elimination and normal-form theorems (03F05) Proof theory in general (including proof-theoretic semantics) (03F03)
Related Items (3)
From input/output logics to conditional logics via sequents -- with provers ⋮ A discrete duality between nonmonotonic consequence relations and convex geometries ⋮ Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics
Cites Work
- Unnamed Item
- Natural deduction calculi and sequent calculi for counterfactual logics
- Nonmonotonic reasoning, preferential models and cumulative logics
- A sequent- or tableau-style system for Lewis's counterfactual logic VC
- On first-order conditional logics
- Dynamic interactive epistemology
- Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions
- Nested sequent calculi for normal conditional logics
- PROOF ANALYSIS FOR LEWIS COUNTERFACTUALS
- Sequent Systems for Lewis’ Conditional Logics
- Tableau calculus for preference-based conditional logics
- A Gentzen- or Beth-type system, a practical decision procedure and a constructive completeness proof for the counterfactual logics VC and VCS
- A Sequent Calculus for Preferential Conditional Logic Based on Neighbourhood Semantics
- A Standard Internal Calculus for Lewis’ Counterfactual Logics
- Updates and counterfactuals
- Generic Modal Cut Elimination Applied to Conditional Logics
- Counterfactuals
This page was built for publication: Standard Sequent Calculi for Lewis’ Logics of Counterfactuals