A logic for extensional protocols
From MaRDI portal
Publication:2901223
DOI10.3166/jancl.21.477-502zbMath1242.68303OpenAlexW1977340427MaRDI 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
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