A logic for extensional protocols

DOI10.3166/jancl.21.477-502zbMath1242.68303OpenAlexW1977340427MaRDI QIDQ2901223

Ben Rodenhäuser

Publication date: 17 July 2012

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3166/jancl.21.477-502

zbMATH Keywords

plansmulti-agent systemsepistemic logicprotocolsepistemic update

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Network protocols (68M12) Agent technology and artificial intelligence (68T42)

Related Items (3)

Model Transformers for Dynamical Systems of Dynamic Epistemic Logic ⋮ Hidden protocols: modifying our expectations in an evolving world ⋮ Intensional protocols for dynamic epistemic logic

Cites Work

• Merging DEL and ETL
• Logics of communication and change
• Dynamic epistemic logic
• Merging frameworks for interaction
• A knowledge based semantics of messages
• REASONING WITH PROTOCOLS UNDER IMPERFECT INFORMATION
• Logical Dynamics of Information and Interaction
• Knowledge and common knowledge in a distributed environment
• The Byzantine Generals Problem
• Process Algebra

This page was built for publication: A logic for extensional protocols