Logics of informational interactions (Q266639): 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 @@
+The Logic of Public Announcements, Common Knowledge, and Private Suspicions
+Normal rank
@@ Property / cites work @@
+Complete axiomatizations for quantum actions
@@ Property / cites work: Complete axiomatizations for quantum actions / rank @@
+Normal rank
@@ Property / cites work @@
+LQP: the dynamic logic of quantum information
@@ Property / cites work: LQP: the dynamic logic of quantum information / rank @@
+Normal rank
@@ Property / cites work @@
+A dynamic-logical perspective on quantum behavior
@@ Property / cites work: A dynamic-logical perspective on quantum behavior / rank @@
+Normal rank
@@ Property / cites work @@
+Quantum logic as a dynamic logic
@@ Property / cites work: Quantum logic as a dynamic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Correlated knowledge: an epistemic-logic view on quantum entanglement
+Normal rank
@@ Property / cites work @@
+PLQP \& Company: decidable logics for quantum algorithms
+Normal rank
@@ Property / cites work @@
+Quantum Probabilistic Dyadic Second-Order Logic
@@ Property / cites work: Quantum Probabilistic Dyadic Second-Order Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision
+Normal rank
@@ Property / cites work @@
+Q4648827
@@ Property / cites work: Q4648827 / 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 @@
+Logical Dynamics of Information and Interaction
@@ Property / cites work: Logical Dynamics of Information and Interaction / 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 @@
+The logic of quantum mechanics
@@ Property / cites work: The logic of quantum mechanics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4845472
@@ Property / cites work: Q4845472 / rank @@
+Normal rank
@@ Property / cites work @@
+Empirical logic and quantum mechanics
@@ Property / cites work: Empirical logic and quantum mechanics / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about information change
@@ Property / cites work: Reasoning about information change / rank @@
+Normal rank
@@ Property / cites work @@
+Q4525781
@@ Property / cites work: Q4525781 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5551052
@@ Property / cites work: Q5551052 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5571633
@@ Property / cites work: Q5571633 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5516132
@@ Property / cites work: Q5516132 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4100556
@@ Property / cites work: Q4100556 / rank @@
+Normal rank