Standard sequent calculi for Lewis' logics of counterfactuals
DOI10.1007/978-3-319-48758-8_18zbMATH Open1485.03036OpenAlexW2540819425MaRDI QIDQ2835877FDOQ2835877
Authors: Marianna Girlando, Björn Lellmann, N. Olivetti, G. L. 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
Recommendations
Logics of knowledge and belief (including belief change) (03B42) Modal logic (including the logic of norms) (03B45) Proof theory in general (including proof-theoretic semantics) (03F03) Cut-elimination and normal-form theorems (03F05)
Cites Work
- Nonmonotonic reasoning, preferential models and cumulative logics
- Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions
- Nested sequent calculi for normal conditional logics
- A Gentzen- or Beth-type system, a practical decision procedure and a constructive completeness proof for the counterfactual logics VC and VCS
- Natural deduction calculi and sequent calculi for counterfactual logics
- A standard internal calculus for Lewis' counterfactual logics
- Generic modal cut elimination applied to conditional logics
- On first-order conditional logics
- Dynamic interactive epistemology
- The logic of conditional doxastic actions
- Updates and counterfactuals
- Counterfactuals
- Sequent Systems for Lewis’ Conditional Logics
- A sequent- or tableau-style system for Lewis's counterfactual logic VC
- Proof analysis for Lewis counterfactuals
- A sequent calculus for preferential conditional logic based on neighbourhood semantics
- Tableau calculus for preference-based conditional logics, PCL and its extensions
Cited In (13)
- A system of proof for Lewis counterfactual
- Sequent Systems for Lewis’ Conditional Logics
- Non-analytic tableaux for Chellas's conditional logic CK and Lewis's logic of counterfactuals VC
- From input/output logics to conditional logics via sequents -- with provers
- Proof analysis for Lewis counterfactuals
- Knowledge representation: modalities, conditionals, and nonmonotonic reasoning
- Counterfactuals
- Natural deduction calculi and sequent calculi for counterfactual logics
- A discrete duality between nonmonotonic consequence relations and convex geometries
- Hypersequent calculi for Lewis' conditional logics with uniformity and reflexivity
- A standard internal calculus for Lewis' counterfactual logics
- VINTE: an implementation of internal calculi for Lewis' logics of counterfactual reasoning
- Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics
This page was built for publication: Standard sequent calculi for Lewis' logics of counterfactuals
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2835877)
