Bookmark Saya

arXiv Open Access 2024

Obligations and permissions on selfextensional logics

Andrea De Domenico Ali Farjami Krishna Manoorkar Alessandra Palmigiano Mattia Panettiere +1 lainnya
Lihat Sumber

Abstrak

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.

Topik & Kata Kunci

math.LO cs.LO

Penulis (6)

A

Andrea De Domenico

A

Ali Farjami

K

Krishna Manoorkar

A

Alessandra Palmigiano

M

Mattia Panettiere

X

Xiaolong Wang

Format Sitasi

APA MLA BibTeX
Domenico, A.D., Farjami, A., Manoorkar, K., Palmigiano, A., Panettiere, M., Wang, X. (2024). Obligations and permissions on selfextensional logics. https://arxiv.org/abs/2402.07336

Akses Cepat

Lihat di Sumber
Informasi Jurnal
Tahun Terbit
2024
Bahasa
en
Sumber Database
arXiv
Akses
Open Access ✓