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

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.