Merging DEL and ETL (Q616038): 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/s10849-009-9116-7
+Normal rank
@@ Property / OpenAlex ID @@
+W2008107534
@@ Property / OpenAlex ID: W2008107534 / rank @@
+Normal rank
@@ Property / cites work @@
+Agreeing to disagree
@@ Property / cites work: Agreeing to disagree / rank @@
+Normal rank
@@ Property / cites work @@
+‘KNOWABLE’ AS ‘KNOWN AFTER AN ANNOUNCEMENT’
+Normal rank
@@ Property / cites work @@
+The Logic of Public Announcements, Common Knowledge, and Private Suspicions
+Normal rank
@@ Property / cites work @@
+Axiomatic characterization of the AGM theory of belief revision in a temporal logic
+Normal rank
@@ Property / cites work @@
+Agreement Theorems in Dynamic-Epistemic Logic
@@ Property / cites work: Agreement Theorems in Dynamic-Epistemic Logic / 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 @@
+Modeling belief in dynamic systems. I: Foundations
+Normal rank
@@ Property / cites work @@
+Reasoning about information change
@@ Property / cites work: Reasoning about information change / rank @@
+Normal rank
@@ Property / cites work @@
+Bridging learning theory and dynamic epistemic logic
+Normal rank
@@ Property / cites work @@
+Complete Axiomatizations for Reasoning about Knowledge and Time
+Normal rank
@@ Property / cites work @@
+The complexity of reasoning about knowledge and time. I: Lower bounds
+Normal rank
@@ Property / cites work @@
+On the Simplest Quartic Fields and Related Thue Equations
+Normal rank
@@ Property / cites work @@
+Dynamic logics of knowledge and access
@@ Property / cites work: Dynamic logics of knowledge and access / rank @@
+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 @@
+Q3680260
@@ Property / cites work: Q3680260 / 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 @@
+Q5494230
@@ Property / cites work: Q5494230 / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic logic for belief revision
@@ Property / cites work: Dynamic logic for belief revision / rank @@
+Normal rank
@@ Property / cites work @@
+Bridges between Dynamic Doxastic and Doxastic Temporal Logics
+Normal rank
@@ Property / cites work @@
+Merging frameworks for interaction
@@ Property / cites work: Merging frameworks for interaction / rank @@
+Normal rank
@@ Property / cites work @@
+Q3509047
@@ Property / cites work: Q3509047 / 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 @@
+Sum and Product in Dynamic Epistemic Logic
@@ Property / cites work: Sum and Product in Dynamic Epistemic Logic / 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 @@
+Dynamic Epistemic Logic and Temporal Modality
@@ Property / cites work: Dynamic Epistemic Logic and Temporal Modality / rank @@
+Normal rank