2024/02/12 by Andrea De Domenico, Ali Farjami, De Domenico, Andrea +9
Computer Science · #03G27 #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge
paper · pdf · doi:10.48550/arxiv.2402.07336
openalex publication_date 2024/02/12 · openalex created_date 2025/10/10 · openalex updated_date 2026/08/03
We further develop the abstract algebraic logic approach to input/output logic initiated in \citewollic22, 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.