2011
DOI: 10.1007/s10992-011-9187-1
|View full text |Cite
|
Sign up to set email alerts
|

Reasoning About Permitted Announcements

Abstract: We formalize what it means to have permission to say something. We adapt the dynamic logic of permission by van der Meyden [22] to the case where atomic actions are public truthful announcements. We also add a notion of obligation. Our logic is an extension of the logic of public announcements introduced by Plaza [17] with dynamic modal operators for permission and for obligation. We axiomatize the logic and show that it is decidable.

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

0
16
0

Year Published

2011
2011
2020
2020

Publication Types

Select...
5
1

Relationship

0
6

Authors

Journals

citations
Cited by 10 publications
(16 citation statements)
references
References 17 publications
0
16
0
Order By: Relevance
“…In dynamic epistemic logic, [4] is the closest work to ours. They focus in a multiagent setting on the notion of permission to announce.…”
Section: Resultsmentioning
confidence: 99%
See 1 more Smart Citation
“…In dynamic epistemic logic, [4] is the closest work to ours. They focus in a multiagent setting on the notion of permission to announce.…”
Section: Resultsmentioning
confidence: 99%
“…[send φ]P ↔ P P 4 [prom φ]P ↔ P P 5 [learns P]p ↔ p P 6 [learns P]P P 7 [learns P]¬φ ↔ ¬[learns P]φ P 8 […”
Section: Dedl All the Axioms Schemes And Inference Rules Ofmentioning
confidence: 99%
“…In dynamic epistemic logic, Balbiani et al (2009) focus in a multi-agent setting on the notion of permission to announce. They provide a sound, complete and decidable logic by enriching public announcement logic with the operator P(w, /) which reads 'after w has been publicly announced, it is permitted to say /'.…”
Section: Related Workmentioning
confidence: 99%
“…Much effort has been devoted to the characterization of different agents in Multi-Agent Systems (MAS), ranging from works that employ Dynamic Epistemic Logic and Public Announcement Logics (PAL) [13] to more recent approaches such as [1]. These works have studied an agent's beliefs and announcements, typically under the assumption that agents are always truthful and sincere.…”
Section: Introductionmentioning
confidence: 99%
“…General problems with agency and norms, namely social regulations, are presented in [3], where many problems are discussed and left open. Further investigations, including those in Public Announcement Logic [1] have devised a pathway to follow, with many problems in the definitions yet open. A step in this direction has been done in [2], which introduced a general logical framework called Multiple Channel Logic Framework (MCL).…”
Section: Introductionmentioning
confidence: 99%