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

@@ Property / DOI @@
-.1016/j.artint.2013.12.001
@@ Property / DOI: 10.1016/j.artint.2013.12.001 / rank @@
-Normal rank
@@ Property / author @@
-Hans P. van Ditmarsch
@@ Property / author: Hans P. van Ditmarsch / rank @@
-Normal rank
@@ Property / author @@
+Hans P. van Ditmarsch
@@ Property / author: Hans P. van Ditmarsch / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+T42
@@ Property / Mathematics Subject Classification ID: 68T42 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B42
@@ Property / Mathematics Subject Classification ID: 03B42 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q45
@@ Property / Mathematics Subject Classification ID: 68Q45 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+T27
@@ Property / Mathematics Subject Classification ID: 68T27 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6476391
@@ Property / zbMATH DE Number: 6476391 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+protocols
@@ Property / zbMATH Keywords: protocols / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+dynamic epistemic logic
@@ Property / zbMATH Keywords: dynamic epistemic logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+guarded automata
@@ Property / zbMATH Keywords: guarded automata / rank @@
+Normal rank
@@ 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.1016/j.artint.2013.12.001
+Normal rank
@@ Property / OpenAlex ID @@
+W2050963409
@@ Property / OpenAlex ID: W2050963409 / rank @@
+Normal rank
@@ 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
@@ Property / DOI @@
+.1016/J.ARTINT.2013.12.001
@@ Property / DOI: 10.1016/J.ARTINT.2013.12.001 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:490513