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

• Autorzy: Broersen J. , Wieringa R. , Meyer J-J.
• Języki publikacji: EN

Abstrakty

EN

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

Słowa kluczowe

EN

ought-to-do norms; dynamic deontic logic; modal action logic; u-calculus; finite automata; regular actions; free choice permission

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2001
• Tom: Vol. 48, nr 2,3
• Strony: 107--128
• Opis fizyczny: bibliogr. 24 poz.

Twórcy

autor

Broersen J.

autor

Wieringa R.

autor

Meyer J-J.

• Faculty of Mathematics and Computer Science Vrije Universiteit Amsterdam, The Netherlands,