Hidden protocols: modifying our expectations in an evolving world

DOI10.1016/J.ARTINT.2013.12.001MaRDI QIDQ490513zbMATH OpenOpenAlexFDO

Authors Sujata Ghosh, Rineke Verbrugge, Yanjing Wang, Hans 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) Logics of knowledge and belief (including belief change) (03B42) Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42)

Recommendations

• Reasoning about protocol change and knowledge
• Reasoning with protocols under imperfect information
• A logic for extensional protocols
• Update semantics of security protocols
• Challenges for decidable epistemic logics from security protocols

Cites work

• scientific article; zbMATH DE number 6058048 (Why is no real title available?)
• scientific article; zbMATH DE number 5987883 (Why is no real title available?)
• scientific article; zbMATH DE number 140411 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• scientific article; zbMATH DE number 3366846 (Why is no real title available?)
• A guide to completeness and complexity for modal logics of knowledge and belief
• A knowledge based semantics of messages
• A logic for extensional protocols
• Action emulation
• Action emulation between canonical models
• Control System Dynamics
• Creating collective intention through dialogue
• Derivatives of Regular Expressions
• Dynamic Epistemic Logic and Knowledge Puzzles
• Knowledge and communication: A first-order theory
• Knowledge forgetting: properties and applications
• Knowledge-based programs
• Learning to apply theory of mind
• Logics of communication and change
• Merging frameworks for interaction
• On axiomatizations of public announcement logic
• Quantified epistemic logics for reasoning about knowledge in multi-agent systems
• Reasoning about protocol change and knowledge
• Reasoning with protocols under imperfect information
• The undecidability of iterated modal relativization

Cited in

(6)

• Reasoning about protocol change and knowledge
• Reasoning with protocols under imperfect information
• Intensional protocols for dynamic epistemic logic
• Arbitrary arrow update logic
• True lies
• scientific article; zbMATH DE number 7450030 (Why is no real title available?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q490513)