Dynamic logics of knowledge and access (Q625719): Difference between revisions

@@ 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/s11229-010-9768-5
+Normal rank
@@ Property / OpenAlex ID @@
+W2099386275
@@ Property / OpenAlex ID: W2099386275 / rank @@
+Normal rank
@@ Property / cites work @@
+The Dynamics of Syntactic Knowledge
@@ Property / cites work: The Dynamics of Syntactic Knowledge / rank @@
+Normal rank
@@ Property / cites work @@
+Explicit Provability and Constructive Semantics
@@ Property / cites work: Explicit Provability and Constructive Semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Introducing Justification into Epistemic Logic
@@ Property / cites work: Introducing Justification into Epistemic Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about permitted announcements
@@ Property / cites work: Reasoning about permitted announcements / rank @@
+Normal rank
@@ Property / cites work @@
+The Logic of Public Announcements, Common Knowledge, and Private Suspicions
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+A logic of believing, knowing, and inferring
@@ Property / cites work: A logic of believing, knowing, and inferring / rank @@
+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 @@
+The logic of proofs, semantically
@@ Property / cites work: The logic of proofs, semantically / rank @@
+Normal rank
@@ Property / cites work @@
+Alternative semantics for unawareness
@@ Property / cites work: Alternative semantics for unawareness / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about knowledge of unawareness
@@ Property / cites work: Reasoning about knowledge of unawareness / rank @@
+Normal rank
@@ Property / cites work @@
+Awareness dynamics
@@ Property / cites work: Awareness dynamics / rank @@
+Normal rank
@@ Property / cites work @@
+On the Simplest Quartic Fields and Related Thue Equations
+Normal rank
@@ Property / cites work @@
+Dynamic epistemic logic with branching temporal structures
+Normal rank
@@ Property / cites work @@
+Logics of Rational Interaction
@@ Property / cites work: Logics of Rational Interaction / rank @@
+Normal rank
@@ Property / cites work @@
+Q2851824
@@ Property / cites work: Q2851824 / rank @@
+Normal rank
@@ Property / cites work @@
+A knowledge based semantics of messages
@@ Property / cites work: A knowledge based semantics of messages / rank @@
+Normal rank
@@ Property / cites work @@
+Logics of public communications
@@ Property / cites work: Logics of public communications / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic Epistemic Temporal Logic
@@ Property / cites work: Dynamic Epistemic Temporal Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3122692
@@ Property / cites work: Q3122692 / rank @@
+Normal rank
@@ Property / cites work @@
+Merging frameworks for interaction
@@ Property / cites work: Merging frameworks for interaction / rank @@
+Normal rank
@@ Property / cites work @@
+Becoming Aware of Propositional Variables
@@ Property / cites work: Becoming Aware of Propositional Variables / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic Epistemic Logic and Knowledge Puzzles
@@ Property / cites work: Dynamic Epistemic Logic and Knowledge Puzzles / rank @@
+Normal rank
@@ Property / cites work @@
+Inference and update
@@ Property / cites work: Inference and update / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:625719