Obligations and permissions, algebraically
Logic
2024-03-08 v2
Abstract
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.
Keywords
Cite
@article{arxiv.2403.03148,
title = {Obligations and permissions, algebraically},
author = {Andrea De Domenico and Ali Farjami and Krishna Manoorkar and Alessandra Palmigiano and Mattia Panettiere and Xiaolong Wang},
journal= {arXiv preprint arXiv:2403.03148},
year = {2024}
}
Comments
arXiv admin note: text overlap with arXiv:2205.13903