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.
| Original language | English |
|---|---|
| Pages (from-to) | 107-128 |
| Number of pages | 22 |
| Journal | Fundamenta informaticae |
| Volume | 48 |
| Issue number | 2-3 |
| Publication status | Published - 2001 |
Keywords
- Free choice permission
- Dynamic deontic logic
- U-calculus
- Finite automatons
- Regular actions
- Modal action logic
- Ought-to-do norms