Tableau calculus for preference-based conditional logics
From MaRDI portal
Publication:2946579
DOI10.1145/1507244.1507251zbMath1351.03019OpenAlexW1984832422WikidataQ58207618 ScholiaQ58207618MaRDI QIDQ2946579
Nicola Olivetti, Camilla B. Schwind, Valentina Gliozzi, Laura Giordano
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
Other nonclassical logic (03B60) Logic in computer science (03B70) Mechanization of proofs and logical operations (03B35)
Related Items (6)
A Sequent Calculus for Preferential Conditional Logic Based on Neighbourhood Semantics ⋮ A Standard Internal Calculus for Lewis’ Counterfactual Logics ⋮ Preferential Semantics for the Logic of Comparative Similarity over Triangular and Metric Models ⋮ Nested Sequent Calculi for Conditional Logics ⋮ Sequent Systems for Lewis’ Conditional Logics ⋮ Standard Sequent Calculi for Lewis’ Logics of Counterfactuals
This page was built for publication: Tableau calculus for preference-based conditional logics