Obligations and permissions, algebraically
Fuente:
arXiv
Guardado en:
| Autores principales: | , , , , , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2024
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866916149974794240 |
|---|---|
| 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 algebraic approach to input/output logic initiated in \cite{wollic22}, where subordination algebras and a family of their generalizations were proposed as a semantic environment of various input/output logics. In particular, we consider precontact algebras as a suitable algebraic environment for negative permission, and we characterize properties of several types of permission (negative, static, dynamic), as well as their interactions with normative systems, by means of suitable modal languages encoding outputs. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2403_03148 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Obligations and permissions, algebraically De Domenico, Andrea Farjami, Ali Manoorkar, Krishna Palmigiano, Alessandra Panettiere, Mattia Wang, Xiaolong Logic We further develop the algebraic approach to input/output logic initiated in \cite{wollic22}, where subordination algebras and a family of their generalizations were proposed as a semantic environment of various input/output logics. In particular, we consider precontact algebras as a suitable algebraic environment for negative permission, and we characterize properties of several types of permission (negative, static, dynamic), as well as their interactions with normative systems, by means of suitable modal languages encoding outputs. |
| title | Obligations and permissions, algebraically |
| topic | Logic |
| url | https://arxiv.org/abs/2403.03148 |