Semantics for knowledge and change of awareness (Q2258808): Difference between revisions

@@ Property / author @@
-Hans P. van Ditmarsch
@@ Property / author: Hans P. van Ditmarsch / rank @@
-Normal rank
@@ Property / author @@
+Hans P. van Ditmarsch
@@ Property / author: Hans P. van Ditmarsch / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10849-014-9194-z
+Normal rank
@@ Property / OpenAlex ID @@
+W2034302384
@@ Property / OpenAlex ID: W2034302384 / rank @@
+Normal rank
@@ Property / cites work @@
+The Logic of Public Announcements, Common Knowledge, and Private Suspicions
+Normal rank
@@ Property / cites work @@
+Q3028984
@@ Property / cites work: Q3028984 / rank @@
+Normal rank
@@ Property / cites work @@
+Logical questions concerning the <i>μ</i>-calculus: Interpolation, Lyndon and Łoś-Tarski
+Normal rank
@@ Property / cites work @@
+Belief, awareness, and limited reasoning
@@ Property / cites work: Belief, awareness, and limited reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Q4845472
@@ Property / cites work: Q4845472 / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional quantifiers in modal logic1
@@ Property / cites work: Propositional quantifiers in modal logic1 / rank @@
+Normal rank
@@ Property / cites work @@
+μ-programs, uniform interpolation and bisimulation quantifiers for modal logics ★
+Normal rank
@@ Property / cites work @@
+Twelve Angry Men: A Study on the Fine-Grain of Announcements
+Normal rank
@@ Property / cites work @@
+Reasoning about knowledge of unawareness
@@ Property / cites work: Reasoning about knowledge of unawareness / rank @@
+Normal rank
@@ Property / cites work @@
+Interactive unawareness
@@ Property / cites work: Interactive unawareness / rank @@
+Normal rank
@@ Property / cites work @@
+Awareness dynamics
@@ Property / cites work: Awareness dynamics / rank @@
+Normal rank
@@ Property / cites work @@
+Characterizations of negative definability in modal logic
+Normal rank
@@ Property / cites work @@
+Q4858037
@@ Property / cites work: Q4858037 / rank @@
+Normal rank
@@ Property / cites work @@
+Awareness and partitional information structures
@@ Property / cites work: Awareness and partitional information structures / rank @@
+Normal rank
@@ Property / cites work @@
+Unawareness and partitional information structures
+Normal rank
@@ Property / cites work @@
+Q4218096
@@ Property / cites work: Q4218096 / rank @@
+Normal rank
@@ Property / cites work @@
+Simulation and Information: Quantifying over Epistemic Events
+Normal rank
@@ Property / cites work @@
+Becoming Aware of Propositional Variables
@@ Property / cites work: Becoming Aware of Propositional Variables / rank @@
+Normal rank
@@ Property / cites work @@
+Introspective forgetting
@@ Property / cites work: Introspective forgetting / rank @@
+Normal rank
@@ Property / cites work @@
+Expressivity Hierarchy of Languages for Epistemic Awareness Models
+Normal rank