English

Obligations and permissions on selfextensional logics

Logic 2024-02-13 v1 Logic in Computer Science

Abstract

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.

Keywords

Cite

@article{arxiv.2402.07336,
  title  = {Obligations and permissions on selfextensional logics},
  author = {Andrea De Domenico and Ali Farjami and Krishna Manoorkar and Alessandra Palmigiano and Mattia Panettiere and Xiaolong Wang},
  journal= {arXiv preprint arXiv:2402.07336},
  year   = {2024}
}

Comments

21 pages

R2 v1 2026-06-28T14:45:31.716Z