Logics of temporal-epistemic actions (Q516250): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1769115041
@@ Property / OpenAlex ID: W1769115041 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.6279
@@ Property / arXiv ID: 1411.6279 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2760240
@@ Property / cites work: Q2760240 / rank @@
+Normal rank
@@ Property / cites work @@
+‘KNOWABLE’ AS ‘KNOWN AFTER AN ANNOUNCEMENT’
+Normal rank
@@ Property / cites work @@
+Logics for epistemic programs
@@ Property / cites work: Logics for epistemic programs / 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 @@
+Logics of communication and change
@@ Property / cites work: Logics of communication and change / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal Aspects of the Dynamics of Knowledge
@@ Property / cites work: Temporal Aspects of the Dynamics of Knowledge / rank @@
+Normal rank
@@ Property / cites work @@
+Merging DEL and ETL
@@ Property / cites work: Merging DEL and ETL / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic epistemic logic with branching temporal structures
+Normal rank
@@ Property / cites work @@
+ARROW UPDATE LOGIC
@@ Property / cites work: ARROW UPDATE LOGIC / 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 @@
+Dynamic Epistemic Temporal Logic
@@ Property / cites work: Dynamic Epistemic Temporal Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal languages for epistemic programs
@@ Property / cites work: Temporal languages for epistemic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Logic for update products and steps into the past
@@ Property / cites work: Logic for update products and steps into the past / rank @@
+Normal rank
@@ Property / cites work @@
+Merging frameworks for interaction
@@ Property / cites work: Merging frameworks for interaction / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic epistemic logic
@@ Property / cites work: Dynamic epistemic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q2760238
@@ Property / cites work: Q2760238 / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic Epistemic Logic and Temporal Modality
@@ Property / cites work: Dynamic Epistemic Logic and Temporal Modality / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q59465581
@@ Property / Wikidata QID: Q59465581 / rank @@
+Normal rank