Tableau calculus for preference-based conditional logics, PCL and its extensions

DOI10.1145/1507244.1507251MaRDI QIDQ2946579zbMATHOpenAlexWikidataFDO

Authors N. Olivetti, Laura Giordano, V. Gliozzi, Camilla Schwind

Publication date 17 September 2015

Published in ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/1507244.1507251

zbMATH Keywords

conditional logicstableaux calculi

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Mechanization of proofs and logical operations (03B35) Logic in computer science (03B70)

Recommendations

• Tableau calculi for preference-based conditional logics
• Analytic Tableaux for KLM Preferential and Cumulative Logics
• A sequent calculus for preferential conditional logic based on neighbourhood semantics
• Optimal tableaux for conditional logics with cautious monotonicity
• Non-analytic tableaux for Chellas's conditional logic CK and Lewis's logic of counterfactuals VC

Cited in

(12)

• Preferential Semantics for the Logic of Comparative Similarity over Triangular and Metric Models
• Nested sequent calculi for conditional logics
• CONDITIONAL LOGIC IS COMPLETE FOR CONVEXITY IN THE PLANE
• Optimal tableaux for conditional logics with cautious monotonicity
• Sequent Systems for Lewis’ Conditional Logics
• Non-analytic tableaux for Chellas's conditional logic CK and Lewis's logic of counterfactuals VC
• Tableau calculi for preference-based conditional logics
• Conditional logic \(C _{b }\) and its tableau system
• Standard sequent calculi for Lewis' logics of counterfactuals
• A standard internal calculus for Lewis' counterfactual logics
• A sequent calculus for preferential conditional logic based on neighbourhood semantics
• Analytic Tableaux for KLM Preferential and Cumulative Logics

This page was built for publication: Tableau calculus for preference-based conditional logics, PCL and its extensions

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