'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 |