Obligations and permissions on selfextensional logics
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | , , , , , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2024
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866916121833111552 |
|---|---|
| author | De Domenico, Andrea Farjami, Ali Manoorkar, Krishna Palmigiano, Alessandra Panettiere, Mattia Wang, Xiaolong |
| author_facet | De Domenico, Andrea Farjami, Ali Manoorkar, Krishna Palmigiano, Alessandra Panettiere, Mattia Wang, Xiaolong |
| contents | We further develop the abstract algebraic logic approach to input/output logic initiated in \cite{wollic22}, where the family of selfextensional logics was proposed as a general background environment for input/output logics. In this paper, we introduce and discuss the generalizations of several types of permission (negative, dual negative, static, dynamic), as well as their interactions with normative systems, to various families of selfextensional logics, thereby proposing a systematic approach to the definition of normative and permission systems on nonclassical propositional bases. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2402_07336 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Obligations and permissions on selfextensional logics De Domenico, Andrea Farjami, Ali Manoorkar, Krishna Palmigiano, Alessandra Panettiere, Mattia Wang, Xiaolong Logic Logic in Computer Science 03G27 We further develop the abstract algebraic logic approach to input/output logic initiated in \cite{wollic22}, where the family of selfextensional logics was proposed as a general background environment for input/output logics. In this paper, we introduce and discuss the generalizations of several types of permission (negative, dual negative, static, dynamic), as well as their interactions with normative systems, to various families of selfextensional logics, thereby proposing a systematic approach to the definition of normative and permission systems on nonclassical propositional bases. |
| title | Obligations and permissions on selfextensional logics |
| topic | Logic Logic in Computer Science 03G27 |
| url | https://arxiv.org/abs/2402.07336 |