Reasoning About Permitted Announcements

被引：7

作者：

Balbiani, P. ^{[1
]}

Seban, P. ^{[1
]}

机构：

[1] Univ Toulouse, Inst Rech Informat Toulouse, CNRS, F-31062 Toulouse 9, France

来源：

JOURNAL OF PHILOSOPHICAL LOGIC | 2011年 / 40卷 / 04期

关键词：

Epistemic logic; Deontic logic; Public announcements; Modal logic; Axiomatisation; Decidability; Permission; Obligation; DYNAMIC LOGIC;

D O I：

10.1007/s10992-011-9187-1

中图分类号：

B81 [逻辑学（论理学）];

学科分类号：

010104 ; 010105 ;

摘要：

We formalize what it means to have permission to say something. We adapt the dynamic logic of permission by van der Meyden (J Log Comput 6(3):465-479, 1996) 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 (1989) with dynamic modal operators for permission and for obligation. We axiomatize the logic and show that it is decidable.

引用

页码：445 / 472

页数：28

共 26 条

[1] Group announcement logic [J].

Agotnes, Thomas ;

Balbiani, Philippe ;

van Ditmarsch, Hans ;

Seban, Pablo .

JOURNAL OF APPLIED LOGIC, 2010, 8 (01) :62-81

[2]

[Anonymous], 1951, An essay in modal logic

[3]

[Anonymous], 1942, PHILOS GE MOORE

[4]

Aucher G, 2010, LECT NOTES ARTIF INT, V6181, P196, DOI 10.1007/978-3-642-14183-6_15

[5]

Balbiani P., 2009, P ESSSLLI 2009 WORKS

[6]

Baltag A, 2008, HBK PHILOS SCI, V8, P361, DOI 10.1016/B978-0-444-51726-5.50015-7

[7]

Baltag Alexandru, 1998, P TARK 98, VVII, P43

[8]

Blackburn Patrick., 2001, MODAL LOGIC CAMBRIDG, V53

[9]

Boh Ivan., 1993, EPISTEMIC LOGIC LATE

[10]

CHISHOLM RM, 1964, AM PHILOS QUART, V1, P147

← 1 2 3 →