Matches in SemOpenAlex for { <https://semopenalex.org/work/W1981270069> ?p ?o ?g. }
- W1981270069 endingPage "26" @default.
- W1981270069 startingPage "1" @default.
- W1981270069 abstract "Levesque introduced the notion of “only knowing” to precisely capture the beliefs of a knowledge base. He also showed how only knowing can be used to formalize nonmonotonic behavior within a monotonic logic. Levesque's logic only deals with a single agent, and therefore, a number of attempts have been made to generalize only knowing to the many agent case. However, all these attempts have some undesirable features. Most significantly, these attempts are propositional and it is not clear how they are to be extended to the first-order case. In this work, we propose a new semantical account of multiagent only knowing which, for the first time, has a natural possible-world semantics for a quantified language with equality. Among other things, properties about Levesque's logic generalize faithfully to the many agent case with this account. For the propositional fragment, we also provide a sound and complete axiomatization. Finally, we obtain a multiagent first-order version of the nonmonotonicity exhibited by the logic of only knowing." @default.
- W1981270069 created "2016-06-24" @default.
- W1981270069 creator A5002932153 @default.
- W1981270069 creator A5005730180 @default.
- W1981270069 date "2015-06-01" @default.
- W1981270069 modified "2023-09-28" @default.
- W1981270069 title "Semantical considerations on multiagent only knowing" @default.
- W1981270069 cites W111190586 @default.
- W1981270069 cites W145304015 @default.
- W1981270069 cites W1501530641 @default.
- W1981270069 cites W1518744800 @default.
- W1981270069 cites W1528650841 @default.
- W1981270069 cites W1529700318 @default.
- W1981270069 cites W1540325391 @default.
- W1981270069 cites W1683212044 @default.
- W1981270069 cites W169098792 @default.
- W1981270069 cites W175138913 @default.
- W1981270069 cites W1898747386 @default.
- W1981270069 cites W1966552757 @default.
- W1981270069 cites W1972929470 @default.
- W1981270069 cites W1973391999 @default.
- W1981270069 cites W1991972474 @default.
- W1981270069 cites W1998575874 @default.
- W1981270069 cites W2004226183 @default.
- W1981270069 cites W2016917647 @default.
- W1981270069 cites W2019738341 @default.
- W1981270069 cites W2021693981 @default.
- W1981270069 cites W2025270539 @default.
- W1981270069 cites W2032206951 @default.
- W1981270069 cites W2038809129 @default.
- W1981270069 cites W204138121 @default.
- W1981270069 cites W2041998877 @default.
- W1981270069 cites W2070368455 @default.
- W1981270069 cites W2087573816 @default.
- W1981270069 cites W2101937542 @default.
- W1981270069 cites W2104384626 @default.
- W1981270069 cites W2108574273 @default.
- W1981270069 cites W2128070187 @default.
- W1981270069 cites W2138162238 @default.
- W1981270069 cites W2140209760 @default.
- W1981270069 cites W2146819619 @default.
- W1981270069 cites W2155322595 @default.
- W1981270069 cites W2157342732 @default.
- W1981270069 cites W2401714029 @default.
- W1981270069 cites W2610670723 @default.
- W1981270069 cites W2912970842 @default.
- W1981270069 cites W2953238325 @default.
- W1981270069 cites W2953335064 @default.
- W1981270069 cites W3144889436 @default.
- W1981270069 cites W32737931 @default.
- W1981270069 cites W48073604 @default.
- W1981270069 cites W48715203 @default.
- W1981270069 cites W52985456 @default.
- W1981270069 cites W95858325 @default.
- W1981270069 doi "https://doi.org/10.1016/j.artint.2015.02.005" @default.
- W1981270069 hasPublicationYear "2015" @default.
- W1981270069 type Work @default.
- W1981270069 sameAs 1981270069 @default.
- W1981270069 citedByCount "4" @default.
- W1981270069 countsByYear W19812700692015 @default.
- W1981270069 countsByYear W19812700692017 @default.
- W1981270069 countsByYear W19812700692019 @default.
- W1981270069 crossrefType "journal-article" @default.
- W1981270069 hasAuthorship W1981270069A5002932153 @default.
- W1981270069 hasAuthorship W1981270069A5005730180 @default.
- W1981270069 hasBestOaLocation W19812700691 @default.
- W1981270069 hasConcept C102993220 @default.
- W1981270069 hasConcept C11413529 @default.
- W1981270069 hasConcept C134306372 @default.
- W1981270069 hasConcept C154945302 @default.
- W1981270069 hasConcept C159032336 @default.
- W1981270069 hasConcept C184337299 @default.
- W1981270069 hasConcept C199360897 @default.
- W1981270069 hasConcept C203659156 @default.
- W1981270069 hasConcept C2776235265 @default.
- W1981270069 hasConcept C33923547 @default.
- W1981270069 hasConcept C3845977 @default.
- W1981270069 hasConcept C41008148 @default.
- W1981270069 hasConcept C4554734 @default.
- W1981270069 hasConcept C69562738 @default.
- W1981270069 hasConcept C72169020 @default.
- W1981270069 hasConcept C80444323 @default.
- W1981270069 hasConceptScore W1981270069C102993220 @default.
- W1981270069 hasConceptScore W1981270069C11413529 @default.
- W1981270069 hasConceptScore W1981270069C134306372 @default.
- W1981270069 hasConceptScore W1981270069C154945302 @default.
- W1981270069 hasConceptScore W1981270069C159032336 @default.
- W1981270069 hasConceptScore W1981270069C184337299 @default.
- W1981270069 hasConceptScore W1981270069C199360897 @default.
- W1981270069 hasConceptScore W1981270069C203659156 @default.
- W1981270069 hasConceptScore W1981270069C2776235265 @default.
- W1981270069 hasConceptScore W1981270069C33923547 @default.
- W1981270069 hasConceptScore W1981270069C3845977 @default.
- W1981270069 hasConceptScore W1981270069C41008148 @default.
- W1981270069 hasConceptScore W1981270069C4554734 @default.
- W1981270069 hasConceptScore W1981270069C69562738 @default.
- W1981270069 hasConceptScore W1981270069C72169020 @default.
- W1981270069 hasConceptScore W1981270069C80444323 @default.