Obligations and permissions, algebraically
arxiv(2024)
摘要
We further develop the algebraic approach to input/output logic initiated in
, 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.
更多查看译文
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要