Matches in SemOpenAlex for { <https://semopenalex.org/work/W1762552095> ?p ?o ?g. }
- W1762552095 abstract "We argue that the notion of epistemic emph{possible worlds} in constructivism (intuitionism) is not as the same as it is in classic view, and there are possibilities, called non-predetermined worlds, which are ignored in (classic) Epistemic Logic. Regarding non-predetermined possibilities, we propose a constructive epistemic logic and prove soundness and completeness theorems for it. We extend the proposed logic by adding a public announcement operator. To declare the significance of our work, we formulate the well-known Surprise Exam Paradox, $mathbf{SEP}$, via the proposed constructive epistemic logic and then put forward a solution for the paradox. We clarify that the puzzle in the $mathbf{SEP}$ is because of students'(wrong) assumption that the day of the exam is necessarily predetermined." @default.
- W1762552095 created "2016-06-24" @default.
- W1762552095 creator A5086045937 @default.
- W1762552095 date "2013-02-05" @default.
- W1762552095 modified "2023-09-27" @default.
- W1762552095 title "A Constructive Epistemic Logic with Public Announcement (Non-Predetermined Possibilities)" @default.
- W1762552095 cites W1570100281 @default.
- W1762552095 cites W1980353160 @default.
- W1762552095 cites W2030533422 @default.
- W1762552095 cites W2044596816 @default.
- W1762552095 cites W2159131252 @default.
- W1762552095 cites W2548969059 @default.
- W1762552095 hasPublicationYear "2013" @default.
- W1762552095 type Work @default.
- W1762552095 sameAs 1762552095 @default.
- W1762552095 citedByCount "0" @default.
- W1762552095 crossrefType "posted-content" @default.
- W1762552095 hasAuthorship W1762552095A5086045937 @default.
- W1762552095 hasConcept C102993220 @default.
- W1762552095 hasConcept C107247716 @default.
- W1762552095 hasConcept C111472728 @default.
- W1762552095 hasConcept C111919701 @default.
- W1762552095 hasConcept C118615104 @default.
- W1762552095 hasConcept C133281099 @default.
- W1762552095 hasConcept C134306372 @default.
- W1762552095 hasConcept C138885662 @default.
- W1762552095 hasConcept C144024400 @default.
- W1762552095 hasConcept C153107464 @default.
- W1762552095 hasConcept C154945302 @default.
- W1762552095 hasConcept C17231256 @default.
- W1762552095 hasConcept C17744445 @default.
- W1762552095 hasConcept C178421362 @default.
- W1762552095 hasConcept C199343813 @default.
- W1762552095 hasConcept C199360897 @default.
- W1762552095 hasConcept C199539241 @default.
- W1762552095 hasConcept C203659156 @default.
- W1762552095 hasConcept C2777686260 @default.
- W1762552095 hasConcept C2778701210 @default.
- W1762552095 hasConcept C2780343955 @default.
- W1762552095 hasConcept C33923547 @default.
- W1762552095 hasConcept C34355311 @default.
- W1762552095 hasConcept C39920170 @default.
- W1762552095 hasConcept C41008148 @default.
- W1762552095 hasConcept C46312422 @default.
- W1762552095 hasConcept C69562738 @default.
- W1762552095 hasConcept C71924100 @default.
- W1762552095 hasConcept C94625758 @default.
- W1762552095 hasConcept C98045186 @default.
- W1762552095 hasConceptScore W1762552095C102993220 @default.
- W1762552095 hasConceptScore W1762552095C107247716 @default.
- W1762552095 hasConceptScore W1762552095C111472728 @default.
- W1762552095 hasConceptScore W1762552095C111919701 @default.
- W1762552095 hasConceptScore W1762552095C118615104 @default.
- W1762552095 hasConceptScore W1762552095C133281099 @default.
- W1762552095 hasConceptScore W1762552095C134306372 @default.
- W1762552095 hasConceptScore W1762552095C138885662 @default.
- W1762552095 hasConceptScore W1762552095C144024400 @default.
- W1762552095 hasConceptScore W1762552095C153107464 @default.
- W1762552095 hasConceptScore W1762552095C154945302 @default.
- W1762552095 hasConceptScore W1762552095C17231256 @default.
- W1762552095 hasConceptScore W1762552095C17744445 @default.
- W1762552095 hasConceptScore W1762552095C178421362 @default.
- W1762552095 hasConceptScore W1762552095C199343813 @default.
- W1762552095 hasConceptScore W1762552095C199360897 @default.
- W1762552095 hasConceptScore W1762552095C199539241 @default.
- W1762552095 hasConceptScore W1762552095C203659156 @default.
- W1762552095 hasConceptScore W1762552095C2777686260 @default.
- W1762552095 hasConceptScore W1762552095C2778701210 @default.
- W1762552095 hasConceptScore W1762552095C2780343955 @default.
- W1762552095 hasConceptScore W1762552095C33923547 @default.
- W1762552095 hasConceptScore W1762552095C34355311 @default.
- W1762552095 hasConceptScore W1762552095C39920170 @default.
- W1762552095 hasConceptScore W1762552095C41008148 @default.
- W1762552095 hasConceptScore W1762552095C46312422 @default.
- W1762552095 hasConceptScore W1762552095C69562738 @default.
- W1762552095 hasConceptScore W1762552095C71924100 @default.
- W1762552095 hasConceptScore W1762552095C94625758 @default.
- W1762552095 hasConceptScore W1762552095C98045186 @default.
- W1762552095 hasLocation W17625520951 @default.
- W1762552095 hasOpenAccess W1762552095 @default.
- W1762552095 hasPrimaryLocation W17625520951 @default.
- W1762552095 hasRelatedWork W135892170 @default.
- W1762552095 hasRelatedWork W1566125367 @default.
- W1762552095 hasRelatedWork W1630055178 @default.
- W1762552095 hasRelatedWork W1775668616 @default.
- W1762552095 hasRelatedWork W1987166876 @default.
- W1762552095 hasRelatedWork W2004614332 @default.
- W1762552095 hasRelatedWork W2051573985 @default.
- W1762552095 hasRelatedWork W2080567478 @default.
- W1762552095 hasRelatedWork W2151360247 @default.
- W1762552095 hasRelatedWork W2405177302 @default.
- W1762552095 hasRelatedWork W2411312592 @default.
- W1762552095 hasRelatedWork W2477860159 @default.
- W1762552095 hasRelatedWork W2579843726 @default.
- W1762552095 hasRelatedWork W2595522377 @default.
- W1762552095 hasRelatedWork W2748341259 @default.
- W1762552095 hasRelatedWork W2888766235 @default.
- W1762552095 hasRelatedWork W290157406 @default.
- W1762552095 hasRelatedWork W3135484419 @default.
- W1762552095 hasRelatedWork W3193471868 @default.