Reasoning about permitted announcements

DOI10.1007/S10992-011-9187-1MaRDI QIDQ652739zbMATH OpenOpenAlexFDO

Authors Philippe Balbiani, Pablo Seban

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

zbMATH Keywords

axiomatisationdecidabilitydeontic logicepistemic logicobligationpermissionpublic announcements

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Modal logic (including the logic of norms) (03B45)

Review text

The authors propose a logic for permissions and obligations to say things. To this end they make use of ideas from [\textit{R. van der Meyden}, ``The dynamic logic of permission, J. Log. Comput. 6, No. 3, 465--479 (1996; Zbl 0855.03008)] and from \textit{J. Plaza}'s paper [``Logics of public communication, in: M. L. Emrich et al. (eds.), Proceedings of the fourth international symposium on methodologies for intelligent systems. Poster session program. Oak Ridge National Laboratory. 201--216 (1989); reprinted in: Synthese 158, No. 2, 165--179 (2007; Zbl 1126.03308)]. They axiomatize their logic, show that it is decidable, and illustrate its use with the French card game Belote.

Recommendations

• The dynamic logic of permission
• Group announcement logic
• `Knowable' as `known after an announcement'
• scientific article; zbMATH DE number 6741896
• Permission to speak: a logic for access control and conformance

Cites work

• A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic
• A knowledge based semantics of messages
• Agency and deontic logic
• An essay in modal logic
• Dynamic Epistemic Logic and Knowledge Puzzles
• Foundations of Software Science and Computation Structures
• Group announcement logic
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• Logics of public communications
• Merging frameworks for interaction
• Modal logic
• Privacy policies with modal logic: the dynamic turn
• Propositional dynamic logic of regular programs
• Reasoning about permitted announcements
• The dynamic logic of permission
• The logic of public announcements, common knowledge, and private suspicions

Cited in

(10)

• Towards a logic of tweeting
• Twelve Angry Men: A Study on the Fine-Grain of Announcements
• Privacy policies with modal logic: the dynamic turn
• Dispositionality, enthymeme and knowledge
• Dynamic logics of knowledge and access
• Reasoning about permitted announcements
• Norms and deontic logic
• From knowledge to action: logics of permitted and obligatory announcements
• A temporal epistemic deontic logic
• Group announcement logic

This page was built for publication: Reasoning about permitted announcements

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