Matches in SemOpenAlex for { <https://semopenalex.org/work/W4293572893> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W4293572893 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 non-monotonic behavior within a monotonic logic. Despite its appeal, all attempts to extend only-knowing to the many agent case have undesirable properties. A belief model by Halpern and Lakemeyer, for instance, appeals to proof-theoretic constructs in the semantics and needs to axiomatize validity as part of the logic. It is also not clear how to generalize their ideas to a first-order case. In this paper, we propose a new account of multi-agent only-knowing which, for the first time, has a natural possible-world semantics for a quantified language with equality. We then provide, for the propositional fragment, a sound and complete axiomatization that faithfully lifts Levesque's proof theory to the many agent case. We also discuss comparisons to the earlier approach by Halpern and Lakemeyer." @default.
- W4293572893 created "2022-08-30" @default.
- W4293572893 creator A5002932153 @default.
- W4293572893 creator A5005730180 @default.
- W4293572893 date "2010-09-10" @default.
- W4293572893 modified "2023-09-28" @default.
- W4293572893 title "Multi-Agent Only-Knowing Revisited" @default.
- W4293572893 doi "https://doi.org/10.48550/arxiv.1009.2041" @default.
- W4293572893 hasPublicationYear "2010" @default.
- W4293572893 type Work @default.
- W4293572893 citedByCount "0" @default.
- W4293572893 crossrefType "posted-content" @default.
- W4293572893 hasAuthorship W4293572893A5002932153 @default.
- W4293572893 hasAuthorship W4293572893A5005730180 @default.
- W4293572893 hasBestOaLocation W42935728931 @default.
- W4293572893 hasConcept C108710211 @default.
- W4293572893 hasConcept C111472728 @default.
- W4293572893 hasConcept C134306372 @default.
- W4293572893 hasConcept C138885662 @default.
- W4293572893 hasConcept C144237770 @default.
- W4293572893 hasConcept C154945302 @default.
- W4293572893 hasConcept C166957645 @default.
- W4293572893 hasConcept C17744445 @default.
- W4293572893 hasConcept C184337299 @default.
- W4293572893 hasConcept C199360897 @default.
- W4293572893 hasConcept C199539241 @default.
- W4293572893 hasConcept C2318724 @default.
- W4293572893 hasConcept C2524010 @default.
- W4293572893 hasConcept C2776235265 @default.
- W4293572893 hasConcept C2776608160 @default.
- W4293572893 hasConcept C2778449503 @default.
- W4293572893 hasConcept C33923547 @default.
- W4293572893 hasConcept C41008148 @default.
- W4293572893 hasConcept C69562738 @default.
- W4293572893 hasConcept C72169020 @default.
- W4293572893 hasConcept C80444323 @default.
- W4293572893 hasConcept C95457728 @default.
- W4293572893 hasConceptScore W4293572893C108710211 @default.
- W4293572893 hasConceptScore W4293572893C111472728 @default.
- W4293572893 hasConceptScore W4293572893C134306372 @default.
- W4293572893 hasConceptScore W4293572893C138885662 @default.
- W4293572893 hasConceptScore W4293572893C144237770 @default.
- W4293572893 hasConceptScore W4293572893C154945302 @default.
- W4293572893 hasConceptScore W4293572893C166957645 @default.
- W4293572893 hasConceptScore W4293572893C17744445 @default.
- W4293572893 hasConceptScore W4293572893C184337299 @default.
- W4293572893 hasConceptScore W4293572893C199360897 @default.
- W4293572893 hasConceptScore W4293572893C199539241 @default.
- W4293572893 hasConceptScore W4293572893C2318724 @default.
- W4293572893 hasConceptScore W4293572893C2524010 @default.
- W4293572893 hasConceptScore W4293572893C2776235265 @default.
- W4293572893 hasConceptScore W4293572893C2776608160 @default.
- W4293572893 hasConceptScore W4293572893C2778449503 @default.
- W4293572893 hasConceptScore W4293572893C33923547 @default.
- W4293572893 hasConceptScore W4293572893C41008148 @default.
- W4293572893 hasConceptScore W4293572893C69562738 @default.
- W4293572893 hasConceptScore W4293572893C72169020 @default.
- W4293572893 hasConceptScore W4293572893C80444323 @default.
- W4293572893 hasConceptScore W4293572893C95457728 @default.
- W4293572893 hasLocation W42935728931 @default.
- W4293572893 hasLocation W42935728932 @default.
- W4293572893 hasOpenAccess W4293572893 @default.
- W4293572893 hasPrimaryLocation W42935728931 @default.
- W4293572893 hasRelatedWork W1483213041 @default.
- W4293572893 hasRelatedWork W1587224678 @default.
- W4293572893 hasRelatedWork W1778728081 @default.
- W4293572893 hasRelatedWork W2005403834 @default.
- W4293572893 hasRelatedWork W2047793074 @default.
- W4293572893 hasRelatedWork W2056977125 @default.
- W4293572893 hasRelatedWork W2090686886 @default.
- W4293572893 hasRelatedWork W27605384 @default.
- W4293572893 hasRelatedWork W2807977013 @default.
- W4293572893 hasRelatedWork W288103726 @default.
- W4293572893 isParatext "false" @default.
- W4293572893 isRetracted "false" @default.
- W4293572893 workType "article" @default.