Matches in SemOpenAlex for { <https://semopenalex.org/work/W2078347497> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2078347497 abstract "In the most popular logics combining knowledge and awareness, it is not possible to express statements about knowledge of unawareness such as Ann knows that Bill is aware of something Ann is not aware of - without using a stronger statement such as Ann knows that Bill is aware of p and Ann is not aware of p, for some particular p. Recently, however, Halpern and Rêgo (2006) introduced a logic in which such statements about knowledge of unawareness can be expressed. The logic extends the traditional framework with quantification over formulae, and is thus very expressive. As a consequence, it is not decidable. In this paper we introduce a decidable logic which can be used to reason about certain types of unawareness. The logic extends the traditional framework with an operator expressing full awareness, i.e., the fact that an agent is aware of everything, and another operator expressing relative awareness, the fact that one agent is aware of everything another agent is aware of The logic is less expressive than Halpern's and Rêgo's logic. It is, however, expressive enough to express all of Halpern's and Rêgo's motivating examples. In addition to proving that the logic is decidable and that its satisfiability problem is PSPACE-complete, we present an axiomatisation which we show is sound and complete." @default.
- W2078347497 created "2016-06-24" @default.
- W2078347497 creator A5021479257 @default.
- W2078347497 creator A5064693586 @default.
- W2078347497 date "2007-01-01" @default.
- W2078347497 modified "2023-09-30" @default.
- W2078347497 title "Full and relative awareness" @default.
- W2078347497 cites W1936168968 @default.
- W2078347497 cites W1994227541 @default.
- W2078347497 cites W2043338986 @default.
- W2078347497 cites W2076073997 @default.
- W2078347497 cites W2119463639 @default.
- W2078347497 cites W2146819619 @default.
- W2078347497 cites W2167702039 @default.
- W2078347497 cites W2168970352 @default.
- W2078347497 cites W2400699940 @default.
- W2078347497 cites W2793204107 @default.
- W2078347497 cites W3124614942 @default.
- W2078347497 doi "https://doi.org/10.1145/1324249.1324255" @default.
- W2078347497 hasPublicationYear "2007" @default.
- W2078347497 type Work @default.
- W2078347497 sameAs 2078347497 @default.
- W2078347497 citedByCount "10" @default.
- W2078347497 countsByYear W20783474972012 @default.
- W2078347497 countsByYear W20783474972013 @default.
- W2078347497 countsByYear W20783474972017 @default.
- W2078347497 countsByYear W20783474972018 @default.
- W2078347497 countsByYear W20783474972020 @default.
- W2078347497 countsByYear W20783474972022 @default.
- W2078347497 crossrefType "proceedings-article" @default.
- W2078347497 hasAuthorship W2078347497A5021479257 @default.
- W2078347497 hasAuthorship W2078347497A5064693586 @default.
- W2078347497 hasConcept C104317684 @default.
- W2078347497 hasConcept C111472728 @default.
- W2078347497 hasConcept C118615104 @default.
- W2078347497 hasConcept C138885662 @default.
- W2078347497 hasConcept C153269930 @default.
- W2078347497 hasConcept C158448853 @default.
- W2078347497 hasConcept C168773769 @default.
- W2078347497 hasConcept C17020691 @default.
- W2078347497 hasConcept C185592680 @default.
- W2078347497 hasConcept C2777026412 @default.
- W2078347497 hasConcept C33923547 @default.
- W2078347497 hasConcept C41008148 @default.
- W2078347497 hasConcept C55493867 @default.
- W2078347497 hasConcept C80444323 @default.
- W2078347497 hasConcept C86339819 @default.
- W2078347497 hasConceptScore W2078347497C104317684 @default.
- W2078347497 hasConceptScore W2078347497C111472728 @default.
- W2078347497 hasConceptScore W2078347497C118615104 @default.
- W2078347497 hasConceptScore W2078347497C138885662 @default.
- W2078347497 hasConceptScore W2078347497C153269930 @default.
- W2078347497 hasConceptScore W2078347497C158448853 @default.
- W2078347497 hasConceptScore W2078347497C168773769 @default.
- W2078347497 hasConceptScore W2078347497C17020691 @default.
- W2078347497 hasConceptScore W2078347497C185592680 @default.
- W2078347497 hasConceptScore W2078347497C2777026412 @default.
- W2078347497 hasConceptScore W2078347497C33923547 @default.
- W2078347497 hasConceptScore W2078347497C41008148 @default.
- W2078347497 hasConceptScore W2078347497C55493867 @default.
- W2078347497 hasConceptScore W2078347497C80444323 @default.
- W2078347497 hasConceptScore W2078347497C86339819 @default.
- W2078347497 hasLocation W20783474971 @default.
- W2078347497 hasOpenAccess W2078347497 @default.
- W2078347497 hasPrimaryLocation W20783474971 @default.
- W2078347497 hasRelatedWork W1543051890 @default.
- W2078347497 hasRelatedWork W2040640762 @default.
- W2078347497 hasRelatedWork W2166108892 @default.
- W2078347497 hasRelatedWork W2335953814 @default.
- W2078347497 hasRelatedWork W2951229113 @default.
- W2078347497 hasRelatedWork W2963510243 @default.
- W2078347497 hasRelatedWork W3033601567 @default.
- W2078347497 hasRelatedWork W3037419933 @default.
- W2078347497 hasRelatedWork W4300904645 @default.
- W2078347497 hasRelatedWork W2585890227 @default.
- W2078347497 isParatext "false" @default.
- W2078347497 isRetracted "false" @default.
- W2078347497 magId "2078347497" @default.
- W2078347497 workType "article" @default.