Ouyang (2022), Permitted Announcement Logic with Unary Modal Operators.pdf (382.04 kB)
Download file

Ouyang (2022), Permitted Announcement Logic with Unary Modal Operators

Download (382.04 kB)
conference contribution
posted on 08.08.2022, 11:53 authored by Wenfei Ouyang

Proceedings of the ESSLLI 2022 Student Session

Permitted Announcement Logic with Unary Modal Operators

Wenfei Ouyang

Based on a formal language of permitted announcements advanced by Balbiani and Seban, we propose a formalization of "it is permitted to announce something" with unary operators. To do it, we cut off the unary fragment of the language and give it neighborhood semantics. We investigate the definability of unary operators, two different types of update methods, and reduction theorems in this language. We also axiomatize the logic. As an application, we formalize some norms of assertion and the Moorean sentences in the language.


History

Retention period

01/07/2099