A deontic logic of action (Q792312)

This is a formalisation of a deontic logic based on a formal language whose terms are intended to express ''events'' (i.e., sets of ''outcomes'') and whose formulas should express propositions. The intended interpretation is given by a ''deontic action algebra'' with F (''forbidden events'') and P (''permitted events'') as ideals. The ''basic open deontic logic of urn model action'' (B.O.D.) with special axioms for \underbar{Forb} and \underbar{Perm} is described and its completeness proved. B.O.D. is shown to satisfy the ''Closure Principle'' (''what is not forbidden is permitted'') in a weak sense (at the level of outcomes) whereas at the level of events this principle can be satisfied only in ''the basic closed deontic logic of urn model action'', which one gets by adding an axiom to B.O.D. Other operators (P- and F-based obligations and prohibitions) are defined. An ''action-game'' is sketched.