Matches in SemOpenAlex for { <https://semopenalex.org/work/W4288046616> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W4288046616 abstract "In this paper we present a topological epistemic logic, with modalities for knowledge (modeled as the universal modality), knowability (represented by the topological interior operator), and unknowability of the actual world. The last notion has a non-self-referential reading (modeled by Cantor derivative: the set of limit points of a given set) and a self-referential one (modeled by Cantor's perfect core of a given set: its largest subset without isolated points). We completely axiomatize this logic, showing that it is decidable and PSPACE-complete, and we apply it to the analysis of a famous epistemic puzzle: the Surprise Exam Paradox." @default.
- W4288046616 created "2022-07-27" @default.
- W4288046616 creator A5036886810 @default.
- W4288046616 creator A5045687469 @default.
- W4288046616 creator A5080309379 @default.
- W4288046616 date "2022-07-01" @default.
- W4288046616 modified "2023-10-18" @default.
- W4288046616 title "The Topology of Surprise" @default.
- W4288046616 doi "https://doi.org/10.24963/kr.2022/4" @default.
- W4288046616 hasPublicationYear "2022" @default.
- W4288046616 type Work @default.
- W4288046616 citedByCount "0" @default.
- W4288046616 crossrefType "proceedings-article" @default.
- W4288046616 hasAuthorship W4288046616A5036886810 @default.
- W4288046616 hasAuthorship W4288046616A5045687469 @default.
- W4288046616 hasAuthorship W4288046616A5080309379 @default.
- W4288046616 hasBestOaLocation W42880466161 @default.
- W4288046616 hasConcept C104317684 @default.
- W4288046616 hasConcept C110729354 @default.
- W4288046616 hasConcept C118615104 @default.
- W4288046616 hasConcept C134306372 @default.
- W4288046616 hasConcept C151201525 @default.
- W4288046616 hasConcept C153269930 @default.
- W4288046616 hasConcept C15744967 @default.
- W4288046616 hasConcept C158448853 @default.
- W4288046616 hasConcept C17020691 @default.
- W4288046616 hasConcept C177264268 @default.
- W4288046616 hasConcept C185592680 @default.
- W4288046616 hasConcept C199360897 @default.
- W4288046616 hasConcept C2164484 @default.
- W4288046616 hasConcept C2780343955 @default.
- W4288046616 hasConcept C33923547 @default.
- W4288046616 hasConcept C36605576 @default.
- W4288046616 hasConcept C41008148 @default.
- W4288046616 hasConcept C55493867 @default.
- W4288046616 hasConcept C76155785 @default.
- W4288046616 hasConcept C77805123 @default.
- W4288046616 hasConcept C86339819 @default.
- W4288046616 hasConceptScore W4288046616C104317684 @default.
- W4288046616 hasConceptScore W4288046616C110729354 @default.
- W4288046616 hasConceptScore W4288046616C118615104 @default.
- W4288046616 hasConceptScore W4288046616C134306372 @default.
- W4288046616 hasConceptScore W4288046616C151201525 @default.
- W4288046616 hasConceptScore W4288046616C153269930 @default.
- W4288046616 hasConceptScore W4288046616C15744967 @default.
- W4288046616 hasConceptScore W4288046616C158448853 @default.
- W4288046616 hasConceptScore W4288046616C17020691 @default.
- W4288046616 hasConceptScore W4288046616C177264268 @default.
- W4288046616 hasConceptScore W4288046616C185592680 @default.
- W4288046616 hasConceptScore W4288046616C199360897 @default.
- W4288046616 hasConceptScore W4288046616C2164484 @default.
- W4288046616 hasConceptScore W4288046616C2780343955 @default.
- W4288046616 hasConceptScore W4288046616C33923547 @default.
- W4288046616 hasConceptScore W4288046616C36605576 @default.
- W4288046616 hasConceptScore W4288046616C41008148 @default.
- W4288046616 hasConceptScore W4288046616C55493867 @default.
- W4288046616 hasConceptScore W4288046616C76155785 @default.
- W4288046616 hasConceptScore W4288046616C77805123 @default.
- W4288046616 hasConceptScore W4288046616C86339819 @default.
- W4288046616 hasLocation W42880466161 @default.
- W4288046616 hasOpenAccess W4288046616 @default.
- W4288046616 hasPrimaryLocation W42880466161 @default.
- W4288046616 hasRelatedWork W1994483064 @default.
- W4288046616 hasRelatedWork W2067699663 @default.
- W4288046616 hasRelatedWork W2094354112 @default.
- W4288046616 hasRelatedWork W2101752691 @default.
- W4288046616 hasRelatedWork W2140392112 @default.
- W4288046616 hasRelatedWork W2156140706 @default.
- W4288046616 hasRelatedWork W2863395758 @default.
- W4288046616 hasRelatedWork W3094338803 @default.
- W4288046616 hasRelatedWork W3139954723 @default.
- W4288046616 hasRelatedWork W4289754218 @default.
- W4288046616 isParatext "false" @default.
- W4288046616 isRetracted "false" @default.
- W4288046616 workType "article" @default.