'That Will Do': Logics of Deontic Necessity and Sufficiency.
We study a logic for deontic necessity and sufficiency (often interpreted as obligation, resp. strong permission), as originally proposed in van Benthem (Bull Sect Log 8(1):36-41, 1979). Building on earlier work in modal logic, we provide a sound and complete axiomatization for it, consider some sta...
| Publicado en: | Erkenntnis Vol. 82; no. 3; pp. 473 - 512 |
|---|---|
| Autor principal: | |
| Formato: | Artículo |
| Publicado: |
Springer Nature
Jun2017
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |
| Sumario: | We study a logic for deontic necessity and sufficiency (often interpreted as obligation, resp. strong permission), as originally proposed in van Benthem (Bull Sect Log 8(1):36-41, 1979). Building on earlier work in modal logic, we provide a sound and complete axiomatization for it, consider some standard extensions, and study other important properties. After that, we compare this logic to the logic of 'obligation as weakest permission' from Anglberger et al. (Rev Symb Log 8(4):807-827, 2015). |
|---|