See this document in CiteSeerX!

Connectives in Quantum and other Cumulative Logics (2002)  (Make Corrections)  
Daniel Lehmann



  Home/Search   Context   Related

 
View or download:
leibniz.cs.huji.ac...200228_Quantum.ps
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  leibniz.cs.huji...h.php?year=2002 (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(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