Sequent Systems for Lewis’ Conditional Logics

DOI10.1007/978-3-642-33353-8_25zbMath1361.68238OpenAlexW2217107280MaRDI QIDQ2915082

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) Logic in artificial intelligence (68T27) Cut-elimination and normal-form theorems (03F05) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15)

Related Items

From input/output logics to conditional logics via sequents -- with provers ⋮ A Sequent Calculus for Preferential Conditional Logic Based on Neighbourhood Semantics ⋮ A Standard Internal Calculus for Lewis’ Counterfactual Logics ⋮ Logical analysis of emotions in text from natural language ⋮ Standard Sequent Calculi for Lewis’ Logics of Counterfactuals

Uses Software

• CoLoSS

Cites Work

• Unnamed Item
• Unnamed Item
• Hybrid counterfactual logics. David Lewis meets Arthur Prior again
• A sequent- or tableau-style system for Lewis's counterfactual logic VC
• Analytic tableaux calculi for KLM logics of nonmonotonic reasoning
• Tableau calculus for preference-based conditional logics
• Optimal Tableaux for Conditional Logics with Cautious Monotonicity
• Cut Elimination for Shallow Modal Logics
• A Gentzen- or Beth-type system, a practical decision procedure and a constructive completeness proof for the counterfactual logics VC and VCS
• Coalgebraic Hybrid Logic
• A sequent calculus and a theorem prover for standard conditional logics
• Generic Modal Cut Elimination Applied to Conditional Logics
• Counterfactuals

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