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

Authors:
Laura Giordano;Valentina Gliozzi;Nicola Olivetti;Camilla Schwind
Affiliations:
Università del Piemonte Orientale A. Avogadro, Alessandria, Italy;Università degli Studi di Torino, Torino, Italy;Université Paul Cézanne, Marseille, France;Laboratoire d'Informatique Fondamentale, Marseille, France
Venue:
ACM Transactions on Computational Logic (TOCL)
Year:
2009

Citing 12
Cited 4

Counterfactuals

Artificial Intelligence
A first-order conditional logic for prototypical properties

Artificial Intelligence
Nonmonotonic reasoning, preferential models and cumulative logics

Artificial Intelligence
Conditional logics of normality: a modal approach

Artificial Intelligence
Structure, consequence relation and logic

What is a logical system?
Conditionals: from philosophy to computer science

Conditionals: from philosophy to computer science
Conditional logic of actions and causation

Artificial Intelligence - Special issue on nonmonotonic reasoning
Weak AGM postulates and strong Ramsey Test: a logical formalization

Artificial Intelligence
A sequent calculus and a theorem prover for standard conditional logics

ACM Transactions on Computational Logic (TOCL)
Analytic tableau calculi for KLM rational logic R

JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Comparative similarity, tree automata, and diophantine equations

LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Analytic tableaux for KLM preferential and cumulative logics

LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning

Comparative Concept Similarity over Minspaces: Axiomatisation and Tableaux Calculus

TABLEAUX '09 Proceedings of the 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Preferential semantics for the logic of comparative similarity over triangular and metric models

JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
Nested sequent calculi for conditional logics

JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
Sequent systems for lewis' conditional logics

JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present a tableau calculus for some fundamental systems of propositional conditional logics. We consider the conditional logics that can be characterized by preferential semantics (i.e., possible world structures equipped with a family of preference relations). For these logics, we provide a uniform completeness proof of the axiomatization with respect to the semantics, and a uniform labeled tableau procedure.