Reasoning about permitted announcements
From MaRDI portal
Publication:652739
DOI10.1007/s10992-011-9187-1zbMath1241.03017MaRDI QIDQ652739
Pablo Seban, Philippe Balbiani
Publication date: 15 December 2011
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10992-011-9187-1
decidability; deontic logic; obligation; epistemic logic; axiomatisation; public announcements; permission
03B45: Modal logic (including the logic of norms)
03B42: Logics of knowledge and belief (including belief change)
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Reasoning about permitted announcements
- A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic
- Group announcement logic
- Merging frameworks for interaction
- Propositional dynamic logic of regular programs
- A knowledge based semantics of messages
- Logics of public communications
- An essay in modal logic
- The Logic of Public Announcements, Common Knowledge, and Private Suspicions
- Dynamic Epistemic Logic and Knowledge Puzzles
- The dynamic logic of permission
- Privacy Policies with Modal Logic: The Dynamic Turn
- Foundations of Software Science and Computation Structures