Hidden protocols: modifying our expectations in an evolving world

DOI10.1016/j.artint.2013.12.001zbMath1334.68232OpenAlexW2050963409MaRDI QIDQ490513

Yanjing Wang, Rineke Verbrugge, Sujata Ghosh, Hans P. van Ditmarsch

Publication date: 27 August 2015

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.artint.2013.12.001

zbMATH Keywords

dynamic epistemic logicprotocolsguarded automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Agent technology and artificial intelligence (68T42)

Related Items (4)

Arbitrary arrow update logic ⋮ Unnamed Item ⋮ True lies ⋮ Intensional protocols for dynamic epistemic logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Action emulation
• On axiomatizations of public announcement logic
• Quantified epistemic logics for reasoning about knowledge in multi-agent systems
• Logics of communication and change
• Learning to apply theory of mind
• Merging frameworks for interaction
• Knowledge forgetting: properties and applications
• A guide to completeness and complexity for modal logics of knowledge and belief
• A knowledge based semantics of messages
• Action emulation between canonical models
• Knowledge and communication: A first-order theory
• The undecidability of iterated modal relativization
• Creating collective intention through dialogue
• A logic for extensional protocols
• Reasoning about Protocol Change and Knowledge
• REASONING WITH PROTOCOLS UNDER IMPERFECT INFORMATION
• Dynamic Epistemic Logic and Knowledge Puzzles
• Control System Dynamics
• Knowledge-based programs
• Derivatives of Regular Expressions

This page was built for publication: Hidden protocols: modifying our expectations in an evolving world