A Fixed-point Characterization of a Deontic Logic of Regular Action

Issue title: Deontic Logic in Computer Science

Article type: Research Article

Authors: Broersen, Jan | Wieringa, Roel | Meyer, John-Jules

Affiliations: Faculty of Mathematics and Computer Science, Vrije Universiteit, Amsterdam, The Netherlands | Faculty of Computer Science, University of Twente, Enschede, The Netherlands |

Abstract: We define a deontic logic of regular action as a characterization within a modal μ-calculus of action. First a semantics of deontic notions for regular action is given in terms of conditions on modal action structures. Then modal μ-calculus formulas characterizing these conditions are constructed by closely following the structure of deterministic finite automatons for regular action.

Keywords: ought-to-do norms, dynamic deontic logic, modal action logic

Journal: Fundamenta Informaticae, vol. 48, no. 2-3, pp. 107-128, 2001