On the formal representation of rights relations. Remarks on the work of Stig Kanger and Lars Lindahl

DOI10.1007/BF00243391zbMath0605.03003OpenAlexW1601482306MaRDI QIDQ1084095

David Makinson

Publication date: 1986

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00243391

zbMATH Keywords

deontic logicobligationpermissionlogic of normscounterparty

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05)

Related Items (15)

Ten Problems of Deontic Logic and Normative Reasoning in Computer Science ⋮ Normative positions within an algebraic approach to normative systems ⋮ Temporal logic and its application to normative reasoning ⋮ The search for symmetry in Hohfeldian modalities ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Normatively determined propositions ⋮ The way of the agent ⋮ Understanding Hohfeld and formalizing legal rights: the Hohfeldian conceptions and their conditional consequences ⋮ A Dynamic Logic of Institutional Actions ⋮ Contracts Violation: Justification via Argumentation ⋮ An executable specification of a formal argumentation protocol ⋮ Dynamic logic of legal competences ⋮ Normative Consistency: An Xstit Account ⋮ Five faces of minimality

This page was built for publication: On the formal representation of rights relations. Remarks on the work of Stig Kanger and Lars Lindahl