Alberto Artosi, Guido Governatori, Antonino Rotolo  Home/Search
Context Related
| uq.edu.au/~guido/Paper...cumulative.pdf From: uq.edu.au/~guido/Papers/index (more) Homepages: G.Governatori |
Rate this article:      (best)Comment on this article |
Abstract: In this paper we present a labelled proof method for computing nonmonotonic consequence relations in a conditional logic setting. The method exploits the strong connection between these deductive relations and conditional logics, and it is based on the usual possible world semantics devised for the latter. The label formalism KEM, introduced to account for the semantics of normal modal logics, is easily adapted to the semantics of conditional logic by simply indexing labels with formulas. The... (Update)
Context of citations to this paper: More
...# within a framework of conditional logic. It seems thus reasonable to view it as the conditional counterpart of the nonmonotonic preferential system (see [2, 19, 10]) In other words, the logic for # contains besides classical propositional logic, the following axioms A...
Cited by: More
A tableux system for Deontic Interpreted Systems - Governatori, Lomuscio, Sergot (Correct)
Declarative Power, Representation, and Mandate. A.. - Gelati, Governatori, .. (2002) (Correct)
A Defeasible Logic of Institutional Agency - Governatori, Rotolo (2003) (Correct)
Similar documents (at the sentence level):
16.3%: A Labelled Tableau Calculus for Nonmonotonic.. - Artosi, Governatori.. (2000) (Correct)
Active bibliography (related documents): More All
2.0: A Tableau Methodology for Deontic Conditional - Artosi, Governatori (1998) (Correct)
0.4: On the Relative Complexity of Labelled Modal Tableaux - Governatori (2003) (Correct)
0.4: Fibred Modal Tableaux - Gabbay, Governatori (2000) (Correct)
Similar documents based on text: More All
0.7: Actions, Institutions, Powers. Preliminary Notes - Governatori, Gelati, Rotolo.. (2002) (Correct)
0.6: Fibred Modal Tableaux (preliminary report) - Gabbay, Governatori (1998) (Correct)
0.3: Argumentation Semantics for Defeasible Logic - Governatori, Maher, al. (2004) (Correct)
Related documents from co-citation: More All
3: influence and responsibility (context) - Santos, Carmo - 1996
3: A formal characterisation of institutionalised power - Jones, Sergot - 1996
3: The modal logic of agency (context) - Elgesem - 1997
BibTeX entry: (Update)
A. Artosi, G. Governatori, and A. Rotolo. Labelled Tableaux for Nonmonotonic Reasoning: Cumulative Consequence Relations. Forthcoming in the Journal of Logic and Computation. http://citeseer.ist.psu.edu/artosi02labelled.html More
@article{ artosigovernatorirotolo,
author = {Artosi, Alberto and Governatori, Guido and Rotolo,
Antonino},
title = {Labelled Tableaux for Non-monotonic Reasoning:
Cumulative Consequence Relations},
journal = {Journal of Logic and Computation},
year = 2002,
volume = 12,
url = {citeseer.ist.psu.edu/artosi02labelled.html} }
Citations (may not include all citations):242 Proof Methods for Modal and Intuitionistic Logic (context) - Fitting - 1983
235 First-Order Logic (context) - Smullyan - 1968
224 preferential models and cumulative logics (context) - Kraus, Lehmann et al. - 1990
134 Labelled Deductive Systems (context) - Gabbay - 1996
105 Theoretical foundations for nonmonotonic reasoning in expert.. (context) - Gabbay - 1985
69 A semantical approach to nonmonotonic logics (context) - Shoham - 1987
58 Conditional logics of normality: a modal approach (context) - Boutilier - 1994
53 Strongly analytic tableaux for normal modal logics - Massacci - 1994
41 Journal of Logic and Computation (context) - D'Agostino, Mondadori et al. - 1994
31 Defeasible logic is stable (context) - Billington - 1993
27 Free-variable tableaux for propositional modal logic - Beckert, Gore
25 Quick completeness proofs for some logic of conditionals (context) - Burgess - 1981
25 Basil Blackwell (context) - Lewis - 1986
20 A first-order conditional logic for prototypical properties (context) - Delgrande - 1987
14 Basic conditional logic (context) - Chellas - 1975
12 Topics in Conditional Logic (context) - Nute - 1980
9 A unified view of consequence relation (context) - Katsuno, Satoh - 1995
9 Modal Logic as Labelled Deductive Systems (context) - Russo - 1996
9 Un modello formale per il ragionamento giuridico (context) - Governatori - 1997
7 the connections between non-monotonic inference systems and .. (context) - Crocco, Lamarre - 1992
7 From ordering-based nonmonotonic reasoning to conditional lo.. (context) - del, Andreas et al. - 1994
7 Fibred modal tableaux - Gabbay, Governatori - 2000
7 Shakespearian modal logic: A labelled treatment of modal ide.. - Artosi, Benassi et al. - 1998
6 Labelled Non-Classical Logics (context) - Vigano - 2000
6 Dealing with label dependent deontic modalities - Gabbay, Governatori - 1998
6 Towards a computational treatment of deontic defeasibility - Artosi, Governatori et al. - 1996
4 Tableau-based theorem proving in normal conditional logics (context) - Groeneboer, Delgrande - 1988
4 Normal multimodal logic with interaction axioms - Baldoni - 2000
3 What does a conditional base entail (context) - Lehmann - 1989
3 An Introduction to Modal Logic (context) - Hughes, Cresswell - 1968
3 A promenade from monotonicity to nonmonotonocity following a.. (context) - Lamarre - 1992
2 A Gentzen- or Beth-type system (context) - de Swart - 1983
2 A Fitch-style formulation of conditional logic (context) - Thomason - 1970
2 consequence relation and logic (context) - Crocco, del et al. - 1994
2 A tableau methodology for deontic conditional logic (context) - Artosi, Governatori - 1998
1 Conditional implications and non-monotonic consequence (context) - Gabbay - 1995
1 Decision procedures for logics of consequential implication (context) - Pizzi - 1993
1 A tableau- or sequent-style system for Lewis's counterfactua.. (context) - Gent - 1992
1 A labelled tableau calculus for nonmonotonic (context) - Artosi, Governatori et al. - 2000
1 KE : Beyond refutation (context) - Governatori - 1995
Documents on the same site (http://www.itee.uq.edu.au/~guido/Papers/index.html): More
KE+: Beyond Refutation - Governatori (1995) (Correct)
Ideality and Subideality From a Computational Point of View - Governatori (1998) (Correct)
Modifying is Better than Deleting: A New Appraoch to Base.. - Governatori, Di Giusto (1999) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC