Hidden protocols: modifying our expectations in an evolving world (Q490513): Difference between revisions

@@ Property / cites work @@
+Q4845472
@@ Property / cites work: Q4845472 / 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 @@
+Merging frameworks for interaction
@@ Property / cites work: Merging frameworks for interaction / rank @@
+Normal rank
@@ Property / cites work @@
+Knowledge forgetting: properties and applications
@@ Property / cites work: Knowledge forgetting: properties and applications / rank @@
+Normal rank
@@ Property / cites work @@
+Quantified epistemic logics for reasoning about knowledge in multi-agent systems
+Normal rank
@@ Property / cites work @@
+A guide to completeness and complexity for modal logics of knowledge and belief
+Normal rank
@@ Property / cites work @@
+Knowledge and communication: A first-order theory
@@ Property / cites work: Knowledge and communication: A first-order theory / 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 @@
+REASONING WITH PROTOCOLS UNDER IMPERFECT INFORMATION
+Normal rank
@@ Property / cites work @@
+Reasoning about Protocol Change and Knowledge
@@ Property / cites work: Reasoning about Protocol Change and Knowledge / rank @@
+Normal rank
@@ Property / cites work @@
+Derivatives of Regular Expressions
@@ Property / cites work: Derivatives of Regular Expressions / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639639
@@ Property / cites work: Q5639639 / rank @@
+Normal rank
@@ Property / cites work @@
+Action emulation
@@ Property / cites work: Action emulation / rank @@
+Normal rank
@@ Property / cites work @@
+Action emulation between canonical models
@@ Property / cites work: Action emulation between canonical models / 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 @@
+Q2901194
@@ Property / cites work: Q2901194 / rank @@
+Normal rank
@@ Property / cites work @@
+A logic for extensional protocols
@@ Property / cites work: A logic for extensional protocols / rank @@
+Normal rank
@@ Property / cites work @@
+The undecidability of iterated modal relativization
+Normal rank
@@ Property / cites work @@
+On axiomatizations of public announcement logic
@@ Property / cites work: On axiomatizations of public announcement logic / rank @@
+Normal rank
@@ Property / cites work @@
+Knowledge-based programs
@@ Property / cites work: Knowledge-based programs / rank @@
+Normal rank
@@ Property / cites work @@
+Control System Dynamics
@@ Property / cites work: Control System Dynamics / rank @@
+Normal rank
@@ Property / cites work @@
+Learning to apply theory of mind
@@ Property / cites work: Learning to apply theory of mind / rank @@
+Normal rank
@@ Property / cites work @@
+Q3103799
@@ Property / cites work: Q3103799 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4028821
@@ Property / cites work: Q4028821 / rank @@
+Normal rank
@@ Property / cites work @@
+Creating collective intention through dialogue
@@ Property / cites work: Creating collective intention through dialogue / rank @@
+Normal rank