- Tytuł:
- A Fixed-point Characterization of a Deontic Logic of Regular Action
- Autorzy:
-
Broersen, J.
Wieringa, R.
Meyer, J-J. - Data publikacji:
- 2001
- Słowa kluczowe:
-
ought-to-do norms
dynamic deontic logic
modal action logic
u-calculus
finite automata
regular actions
free choice permission - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł