Arbitrary public announcement logic with memory (Q2686087): 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/s10992-022-09664-6
+Normal rank
@@ Property / OpenAlex ID @@
+W4286001194
@@ Property / OpenAlex ID: W4286001194 / rank @@
+Normal rank
@@ Property / cites work @@
+Group announcement logic
@@ Property / cites work: Group announcement logic / rank @@
+Normal rank
@@ Property / cites work @@
+Knowledge Games and Coalitional Abilities
@@ Property / cites work: Knowledge Games and Coalitional Abilities / rank @@
+Normal rank
@@ Property / cites work @@
+The undecidability of quantified announcements
@@ Property / cites work: The undecidability of quantified announcements / rank @@
+Normal rank
@@ Property / cites work @@
+Putting right the wording and the proof of the Truth Lemma for<i>APAL</i>
+Normal rank
@@ Property / cites work @@
+‘KNOWABLE’ AS ‘KNOWN AFTER AN ANNOUNCEMENT’
+Normal rank
@@ Property / cites work @@
+Q4636026
@@ Property / cites work: Q4636026 / rank @@
+Normal rank
@@ Property / cites work @@
+Subset Space Logic with Arbitrary Announcements
@@ Property / cites work: Subset Space Logic with Arbitrary Announcements / rank @@
+Normal rank
@@ Property / cites work @@
+A dynamic logic for learning theory
@@ Property / cites work: A dynamic logic for learning theory / rank @@
+Normal rank
@@ Property / cites work @@
+Topo-logic as a dynamic-epistemic logic
@@ Property / cites work: Topo-logic as a dynamic-epistemic logic / rank @@
+Normal rank
@@ Property / cites work @@
+APAL with memory Is better
@@ Property / cites work: APAL with memory Is better / rank @@
+Normal rank
@@ Property / cites work @@
+Topological Subset Space Models for Public Announcements
+Normal rank
@@ Property / cites work @@
+Q3384060
@@ Property / cites work: Q3384060 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Epistemic planning for single- and multi-agent systems
+Normal rank
@@ Property / cites work @@
+Refinement modal logic
@@ Property / cites work: Refinement modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Topological reasoning and the logic of knowledge
@@ Property / cites work: Topological reasoning and the logic of knowledge / rank @@
+Normal rank
@@ Property / cites work @@
+Q3086938
@@ Property / cites work: Q3086938 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3384067
@@ Property / cites work: Q3384067 / rank @@
+Normal rank
@@ Property / cites work @@
+Arbitrary Action Model Logic and Action Model Synthesis
+Normal rank
@@ Property / cites work @@
+A Modal Logic for Coalitional Power in Games
@@ Property / cites work: A Modal Logic for Coalitional Power in Games / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic Epistemic Temporal Logic
@@ Property / cites work: Dynamic Epistemic Temporal Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5494230
@@ Property / cites work: Q5494230 / rank @@
+Normal rank
@@ Property / cites work @@
+What one may come to know
@@ Property / cites work: What one may come to know / rank @@
+Normal rank
@@ Property / cites work @@
+The Russian cards problem
@@ Property / cites work: The Russian cards problem / rank @@
+Normal rank
@@ Property / cites work @@
+Quantifying Notes
@@ Property / cites work: Quantifying Notes / rank @@
+Normal rank
@@ Property / cites work @@
+Q5028475
@@ Property / cites work: Q5028475 / rank @@
+Normal rank
@@ Property / cites work @@
+Positive announcements
@@ Property / cites work: Positive announcements / rank @@
+Normal rank
@@ Property / cites work @@
+Q2904048
@@ Property / cites work: Q2904048 / rank @@
+Normal rank
@@ Property / cites work @@
+Announcement as effort on topological spaces
@@ Property / cites work: Announcement as effort on topological spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Q4636038
@@ Property / cites work: Q4636038 / rank @@
+Normal rank
@@ Property / cites work @@
+Subset Space Public Announcement Logic
@@ Property / cites work: Subset Space Public Announcement Logic / rank @@
+Normal rank