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

@@ 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