The semantics for a deontic action logic based on Boolean algebra is extended with an interpretation of action expressions in terms of sets of alternative actions, intended as a way to model choice. This results in a non-classical interpretation of action expressions, while sentences not in the scope of deontic operators are kept classical. A deontic structure based on Simons’ supercover semantics is used to interpret permission and obligation. It is argued that these constructions provide ways to handle various problems related to free choice permission. The main result is a sound and complete axiomatization of the semantics.

中文翻译：

---

道义动作逻辑的 Supercover 语义

基于布尔代数的道义动作逻辑的语义被扩展为根据可选动作集对动作表达式的解释，旨在作为建模选择的一种方式。这导致对动作表达式的非经典解释，而不在道义运算符范围内的句子保持经典。基于 Simons 的 supercover 语义的道义结构用于解释许可和义务。有人认为，这些结构提供了处理与自由选择许可相关的各种问题的方法。主要结果是语义的完整公理化。