(Enter summary)
Abstract: The nonmonotonic logics de
nable by de
nability-preserving choice
functions that satisfy Coherence have been studied in [7]. Larger families
correspond to weakenings of this property. The cumulative and
loop-cumulative relations of [6] are characterized by such models and,
as a consequence, one may study the natural connectives for those
logics. The representation results obtained are surprisingly smooth:
in the completeness part the choice function may be de
ned on any
set of models, ... (Update)
Similar documents (at the sentence level):
63.8%: Connectives in Quantum and other Cumulative Logics - Lehmann (2002)
(Correct)
16.2%: C-logics - Lehmann (2002)
(Correct)
Active bibliography (related documents): More All
0.3: Nonmonotonic Logics and Semantics - Lehmann (2001)
(Correct)
0.2: What Could a Natural Deductive System for Nonmonotonic Reasoning.. - Zhang
(Correct)
0.1: CS 686 Project Report Quantum PDL - Cheney (2001)
(Correct)
Similar documents based on text: More All
0.4: Distance Semantics for Belief Revision - Lehmann, Magidor, Schlechta (1999)
(Correct)
0.4: Preferred History Semantics for Iterated Updates - Berger, Lehmann, Schlechta (1999)
(Correct)
0.3: Nonmonotonic Reasoning, Preferential Models and Cumulative.. - Kraus, Lehmann, Magidor (1990)
(Correct)
BibTeX entry: (Update)
@misc{ lehmann-connectives,
author = "Daniel Lehmann",
title = "Connectives in Quantum and other Cumulative Logics",
url = "citeseer.ist.psu.edu/lehmann02connectives.html" }
Citations (may not include all citations):
94
General patterns in nonmonotonic reasoning (context) - Makinson - 1994
22
The logic of quantum mechanics (context) - Birkho, von Neumann - 1936
18
Arti cial Intelligence (context) - Kraus, Lehmann et al. - 1990
13
What is logic (context) - Hacking - 1979
11
Quantum logic (context) - Dalla - 2001
5
Nonmonotonic reasoning: from nitary relations to in nitary i.. (context) - Freund, Lehmann - 1994
3
Nonmonotonic logics and semantics
- Lehmann - 2001
3
Arti cial Intelligence (context) - Engesser, Gabbay et al. - 2002
Documents on the same site (http://leibniz.cs.huji.ac.il/research/search.php?year=2002): More
New View Generation With a Bi-Centric Camera - Weinshall, Lee, Brodsky.. (2002)
(Correct)
The Impact of InfoCenters on E-Marketplaces - Yarom, Goldman (2002)
(Correct)
Hierarchical Bandwidth Sharing made Simple - Anker, Bergman, Dolev, Gelbourt (2002)
(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