Tableau calculus for preference-based conditional logics, PCL and its extensions
DOI10.1145/1507244.1507251zbMATH Open1351.03019OpenAlexW1984832422WikidataQ58207618 ScholiaQ58207618MaRDI QIDQ2946579FDOQ2946579
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
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
Other nonclassical logic (03B60) Mechanization of proofs and logical operations (03B35) Logic in computer science (03B70)
Cited In (12)
- Analytic Tableaux for KLM Preferential and Cumulative Logics
- Sequent Systems for Lewis’ Conditional Logics
- Non-analytic tableaux for Chellas's conditional logic CK and Lewis's logic of counterfactuals VC
- A sequent calculus for preferential conditional logic based on neighbourhood semantics
- Tableau calculi for preference-based conditional logics
- Preferential Semantics for the Logic of Comparative Similarity over Triangular and Metric Models
- CONDITIONAL LOGIC IS COMPLETE FOR CONVEXITY IN THE PLANE
- Standard sequent calculi for Lewis' logics of counterfactuals
- Conditional logic \(C _{b }\) and its tableau system
- Optimal tableaux for conditional logics with cautious monotonicity
- A standard internal calculus for Lewis' counterfactual logics
- Nested sequent calculi for conditional 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)
