Reasoning About Permission and Obligation

DOI10.1007/978-94-007-7759-0_14zbMath1311.03038OpenAlexW123828164MaRDI QIDQ5250315

Jörg Hansen

Publication date: 19 May 2015

Published in: David Makinson on Classical Methods for Non-Classical Problems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-94-007-7759-0_14

zbMATH Keywords

deontic logiclogic of normsfree choice permission

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (3)

On the complexity of input/output logic ⋮ Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support ⋮ Formalizing GDPR provisions in reified I/O logic: the DAPRECO knowledge base

This page was built for publication: Reasoning About Permission and Obligation