Sequent Systems for Lewis’ Conditional Logics

DOI10.1007/978-3-642-33353-8_25MaRDI QIDQ2915082zbMATH OpenOpenAlexFDO

Authors Björn Lellmann, Dirk Pattinson

Publication date 21 September 2012

Published in Logics in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-33353-8_25

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Cut-elimination and normal-form theorems (03F05) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Logic in artificial intelligence (68T27)

Recommendations

• Sequent-systems for modal logic
• scientific article; zbMATH DE number 589741
• Hypersequent calculi for Lewis' conditional logics with uniformity and reflexivity
• Nested sequent calculi for conditional logics
• Standard sequent calculi for Lewis' logics of counterfactuals
• New axiomatization of Lewis' conditional logics
• A sequent calculus for a logic of contingencies
• scientific article; zbMATH DE number 2063232
• A Sequent Calculus for the Lesniewskian Modal Logic
• Sequent systems for compact bilinear logic

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 and a theorem prover for standard conditional logics
• A sequent- or tableau-style system for Lewis's counterfactual logic VC
• Analytic tableaux calculi for KLM logics of nonmonotonic reasoning
• Coalgebraic Hybrid Logic
• Counterfactuals
• Cut elimination for shallow modal logics
• Generic modal cut elimination applied to conditional logics
• scientific article; zbMATH DE number 753776 (Why is no real title available?)
• scientific article; zbMATH DE number 1852914 (Why is no real title available?)
• Hybrid counterfactual logics. David Lewis meets Arthur Prior again
• Optimal tableaux for conditional logics with cautious monotonicity
• Tableau calculus for preference-based conditional logics, PCL and its extensions

Cited in

(15)

• A Gentzen system for conditional logic
• Hypersequent calculi for Lewis' conditional logics with uniformity and reflexivity
• From input/output logics to conditional logics via sequents -- with provers
• Intuitionistic conditional logics
• Standard sequent calculi for Lewis' logics of counterfactuals
• A sequent calculus for preferential conditional logic based on neighbourhood semantics
• A standard internal calculus for Lewis' counterfactual logics
• New axiomatization of Lewis' conditional logics
• Logical analysis of emotions in text from natural language
• A sequent calculus and a theorem prover for standard conditional logics
• Labelled sequent calculi for logics of strict implication
• Counterfactual assumptions and counterfactual implications
• On the proof-theoretic structure of counterfactual inference
• Uniform Lyndon interpolation for basic non-normal modal and conditional logics
• Conditional excluded middle in systems of consequential implication

Describes a project that uses

Uses Software

• CoLoSS

This page was built for publication: Sequent Systems for Lewis’ Conditional Logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2915082)