We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.LO

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo

Mathematics > Logic

Title: Obligations and permissions, algebraically

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.
Comments: arXiv admin note: text overlap with arXiv:2205.13903
Subjects: Logic (math.LO)
Cite as: arXiv:2403.03148 [math.LO]
  (or arXiv:2403.03148v2 [math.LO] for this version)

Submission history

From: Xiaolong Wang [view email]
[v1] Tue, 5 Mar 2024 17:41:22 GMT (97kb)
[v2] Thu, 7 Mar 2024 14:15:25 GMT (97kb)

Link back to: arXiv, form interface, contact.