Standard sequent calculi for Lewis' logics of counterfactuals

DOI10.1007/978-3-319-48758-8_18MaRDI QIDQ2835877zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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)

Recommendations

• A standard internal calculus for Lewis' counterfactual logics
• scientific article; zbMATH DE number 7084838
• Natural deduction calculi and sequent calculi for counterfactual logics
• Proof analysis for Lewis counterfactuals
• A system of proof for Lewis counterfactual

Cites work

• 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 sequent- or tableau-style system for Lewis's counterfactual logic VC
• A standard internal calculus for Lewis' counterfactual logics
• Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions
• Counterfactuals
• Dynamic interactive epistemology
• Generic modal cut elimination applied to conditional logics
• Natural deduction calculi and sequent calculi for counterfactual logics
• Nested sequent calculi for normal conditional logics
• Nonmonotonic reasoning, preferential models and cumulative logics
• On first-order conditional logics
• Proof analysis for Lewis counterfactuals
• Sequent Systems for Lewis’ Conditional Logics
• Tableau calculus for preference-based conditional logics, PCL and its extensions
• The logic of conditional doxastic actions
• Updates and counterfactuals

Cited in

(14)

• Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics
• 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
• Calculi, countermodel generation and theorem prover for strong logics of counterfactual reasoning
• VINTE: an implementation of internal calculi for Lewis' logics of counterfactual reasoning
• A standard internal calculus for Lewis' counterfactual 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)