Matches in SemOpenAlex for { <https://semopenalex.org/work/W4383645904> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W4383645904 endingPage "112" @default.
- W4383645904 startingPage "93" @default.
- W4383645904 abstract "Awareness structures by Fagin and Halpern (1988) (FH) feature a syntactic awareness correspondence and accessibility relations modeling implicit knowledge. They are a flexible model of unawareness, and best interpreted from a outside modeler's perspective. Unawareness structures by Heifetz, Meier, and Schipper (2006, 2008) (HMS) model awareness by a lattice of state-spaces and explicit knowledge via a possibility correspondence. They can be interpreted as providing the subjective views of agents. Open questions include (1) how implicit knowledge can be defined in HMS structures, and (2) in which way FH structures can be extended to model the agents' subjective views. In this paper, we address (1) by showing how to derive implicit knowledge from explicit knowledge in HMS models. We also introduce a variant of HMS models that instead of explicit knowledge, takes implicit knowledge and awareness as primitives. Further, we address (2) by introducing a category of FH models that are modally equivalent relative to sublanguages and can be interpreted as agents' subjective views depending on their awareness. These constructions allow us to show an equivalence between HMS and FH models. As a corollary, we obtain soundness and completeness of HMS models with respect to the Logic of Propositional Awareness, based on a language featuring both implicit and explicit knowledge." @default.
- W4383645904 created "2023-07-09" @default.
- W4383645904 creator A5058252120 @default.
- W4383645904 creator A5089074500 @default.
- W4383645904 date "2023-07-11" @default.
- W4383645904 modified "2023-10-14" @default.
- W4383645904 title "Implicit Knowledge in Unawareness Structures - Extended Abstract -" @default.
- W4383645904 cites W1525141167 @default.
- W4383645904 cites W1988672005 @default.
- W4383645904 cites W1993574245 @default.
- W4383645904 cites W1994227541 @default.
- W4383645904 cites W2004807823 @default.
- W4383645904 cites W2008376888 @default.
- W4383645904 cites W2016889189 @default.
- W4383645904 cites W2051228035 @default.
- W4383645904 cites W2104439532 @default.
- W4383645904 cites W2119164434 @default.
- W4383645904 cites W2167702039 @default.
- W4383645904 cites W2774685358 @default.
- W4383645904 cites W3004999595 @default.
- W4383645904 cites W3121184055 @default.
- W4383645904 cites W3122999624 @default.
- W4383645904 cites W3124614942 @default.
- W4383645904 cites W4200071071 @default.
- W4383645904 cites W4221074291 @default.
- W4383645904 cites W4243975304 @default.
- W4383645904 cites W72195389 @default.
- W4383645904 doi "https://doi.org/10.4204/eptcs.379.10" @default.
- W4383645904 hasPublicationYear "2023" @default.
- W4383645904 type Work @default.
- W4383645904 citedByCount "0" @default.
- W4383645904 crossrefType "journal-article" @default.
- W4383645904 hasAuthorship W4383645904A5058252120 @default.
- W4383645904 hasAuthorship W4383645904A5089074500 @default.
- W4383645904 hasBestOaLocation W43836459041 @default.
- W4383645904 hasConcept C154945302 @default.
- W4383645904 hasConcept C15744967 @default.
- W4383645904 hasConcept C180747234 @default.
- W4383645904 hasConcept C188147891 @default.
- W4383645904 hasConcept C199360897 @default.
- W4383645904 hasConcept C202444582 @default.
- W4383645904 hasConcept C204321447 @default.
- W4383645904 hasConcept C2780012671 @default.
- W4383645904 hasConcept C2780069185 @default.
- W4383645904 hasConcept C2986065213 @default.
- W4383645904 hasConcept C33923547 @default.
- W4383645904 hasConcept C39920170 @default.
- W4383645904 hasConcept C41008148 @default.
- W4383645904 hasConcept C56739046 @default.
- W4383645904 hasConcept C56814567 @default.
- W4383645904 hasConcept C80444323 @default.
- W4383645904 hasConceptScore W4383645904C154945302 @default.
- W4383645904 hasConceptScore W4383645904C15744967 @default.
- W4383645904 hasConceptScore W4383645904C180747234 @default.
- W4383645904 hasConceptScore W4383645904C188147891 @default.
- W4383645904 hasConceptScore W4383645904C199360897 @default.
- W4383645904 hasConceptScore W4383645904C202444582 @default.
- W4383645904 hasConceptScore W4383645904C204321447 @default.
- W4383645904 hasConceptScore W4383645904C2780012671 @default.
- W4383645904 hasConceptScore W4383645904C2780069185 @default.
- W4383645904 hasConceptScore W4383645904C2986065213 @default.
- W4383645904 hasConceptScore W4383645904C33923547 @default.
- W4383645904 hasConceptScore W4383645904C39920170 @default.
- W4383645904 hasConceptScore W4383645904C41008148 @default.
- W4383645904 hasConceptScore W4383645904C56739046 @default.
- W4383645904 hasConceptScore W4383645904C56814567 @default.
- W4383645904 hasConceptScore W4383645904C80444323 @default.
- W4383645904 hasLocation W43836459041 @default.
- W4383645904 hasLocation W43836459042 @default.
- W4383645904 hasOpenAccess W4383645904 @default.
- W4383645904 hasPrimaryLocation W43836459041 @default.
- W4383645904 hasRelatedWork W1998623464 @default.
- W4383645904 hasRelatedWork W2004485522 @default.
- W4383645904 hasRelatedWork W2010873187 @default.
- W4383645904 hasRelatedWork W2140650983 @default.
- W4383645904 hasRelatedWork W2141219978 @default.
- W4383645904 hasRelatedWork W2354103575 @default.
- W4383645904 hasRelatedWork W2515685275 @default.
- W4383645904 hasRelatedWork W2990405030 @default.
- W4383645904 hasRelatedWork W4250754856 @default.
- W4383645904 hasRelatedWork W4383645904 @default.
- W4383645904 hasVolume "379" @default.
- W4383645904 isParatext "false" @default.
- W4383645904 isRetracted "false" @default.
- W4383645904 workType "article" @default.