Refinement Quantified Logics of Knowledge (Q2825410): Difference between revisions

@@ Property / cites work @@
+On the logic of theory change: Partial meet contraction and revision functions
+Normal rank
@@ Property / cites work @@
+Logics for epistemic programs
@@ Property / cites work: Logics for epistemic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q3086938
@@ Property / cites work: Q3086938 / rank @@
+Normal rank
@@ Property / cites work @@
+Simulation and Information: Quantifying over Epistemic Events
+Normal rank
@@ Property / cites work @@
+Q2904048
@@ Property / cites work: Q2904048 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about information change
@@ Property / cites work: Reasoning about information change / rank @@
+Normal rank
@@ Property / cites work @@
+Logics of public communications
@@ Property / cites work: Logics of public communications / rank @@
+Normal rank