Supercover semantics for deontic action logic (Q2322983)

The author constructs a formal language for deontic propositional logic which, he suggests, is better adapted than those currently available for expressing and analyzing free-choice permissions. The proposal follows \textit{R. Trypuz} and \textit{P. Kulicki} [J. Log. Comput. 25, No. 5, 1241--1260 (2015; Zbl 1336.03027)] in distinguishing syntactically between propositions and act-types, with deontic operators applicable only to the latter, and it follows \textit{M. Simons} [``Dividing things up: the semantics of or and the modal/or interaction'', Nat. Lang. Seman. 13, 271--316 (2005; \url{doi:10.1007/s11050-004-2900-7})] in using a `supercover' semantics that assigns sets of action-types, as well as single action-types, to the action terms of the language. In this way, free-choice permission becomes an operation forming propositions out of sets of action-types. The construction validates certain formulae usually considered desirable for free-choice permission and invalidates certain others regarded as undesirable. An axiomatization is given, along with proofs of soundness and completeness.