METRICS FOR FORMAL STRUCTURES, WITH AN APPLICATION TO KRIPKE MODELS AND THEIR DYNAMICS (Q6103448): Difference between revisions

@@ Property / cites work @@
+Generalizing AGM to a multi-agent setting
@@ Property / cites work: Generalizing AGM to a multi-agent setting / rank @@
+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 @@
+Games in Dynamic-Epistemic Logic
@@ Property / cites work: Games in Dynamic-Epistemic Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Logical Dynamics of Information and Interaction
@@ Property / cites work: Logical Dynamics of Information and Interaction / rank @@
+Normal rank
@@ Property / cites work @@
+Q4619872
@@ Property / cites work: Q4619872 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3408862
@@ Property / cites work: Q3408862 / 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 @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Epistemic planning for single- and multi-agent systems
+Normal rank
@@ Property / cites work @@
+Encyclopedia of Distances
@@ Property / cites work: Encyclopedia of Distances / rank @@
+Normal rank
@@ Property / cites work @@
+Q4648829
@@ Property / cites work: Q4648829 / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic epistemic logic
@@ Property / cites work: Dynamic epistemic logic / rank @@
+Normal rank
@@ Property / cites work @@
+On Fixed and Periodic Points Under Contractive Mappings
+Normal rank
@@ Property / cites work @@
+Q4845472
@@ Property / cites work: Q4845472 / rank @@
+Normal rank
@@ Property / cites work @@
+Common knowledge revisited
@@ Property / cites work: Common knowledge revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Q4394845
@@ Property / cites work: Q4394845 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4664251
@@ Property / cites work: Q4664251 / rank @@
+Normal rank
@@ Property / cites work @@
+Operating systems. An advanced course
@@ Property / cites work: Operating systems. An advanced course / rank @@
+Normal rank
@@ Property / cites work @@
+Knowledge and common knowledge in a distributed environment
+Normal rank
@@ Property / cites work @@
+Error Detecting and Error Correcting Codes
@@ Property / cites work: Error Detecting and Error Correcting Codes / rank @@
+Normal rank
@@ Property / cites work @@
+Q3965241
@@ Property / cites work: Q3965241 / rank @@
+Normal rank
@@ Property / cites work @@
+Convergence, continuity, recurrence and Turing completeness in dynamic epistemic logic1
+Normal rank
@@ Property / cites work @@
+Distance semantics for belief revision
@@ Property / cites work: Distance semantics for belief revision / rank @@
+Normal rank
@@ Property / cites work @@
+Q4119824
@@ Property / cites work: Q4119824 / rank @@
+Normal rank
@@ Property / cites work @@
+Finite models constructed from canonical formulas
@@ Property / cites work: Finite models constructed from canonical formulas / rank @@
+Normal rank
@@ Property / cites work @@
+Model Transformers for Dynamical Systems of Dynamic Epistemic Logic
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+The Theory of Representation for Boolean Algebras
@@ Property / cites work: The Theory of Representation for Boolean Algebras / rank @@
+Normal rank