A logic for extensional protocols
From MaRDI portal
Publication:2901223
DOI10.3166/jancl.21.477-502zbMath1242.68303MaRDI QIDQ2901223
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
68T27: Logic in artificial intelligence
03B42: Logics of knowledge and belief (including belief change)
68M12: Network protocols
68T42: Agent technology and artificial intelligence
Related Items
Hidden protocols: modifying our expectations in an evolving world, Intensional protocols for dynamic epistemic logic, Model Transformers for Dynamical Systems of 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