scientific article; zbMATH DE number 5171595

zbMath1122.03013MaRDI QIDQ5296763

Guido Governatori, Antonino Rotolo

Publication date: 16 July 2007

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

deontic logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05) Cut-elimination and normal-form theorems (03F05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (14)

Weighted modal logic in epistemic and deontic contexts ⋮ Sequence Semantics for Normative Agents ⋮ Obligation as optimal goal satisfaction ⋮ Permission to speak: a logic for access control and conformance ⋮ Unnamed Item ⋮ The rationale behind the concept of goal ⋮ Modal Rules: Extending Defeasible Logic with Modal Operators ⋮ Practical Normative Reasoning with Defeasible Deontic Logic ⋮ Computing strong and weak permissions in defeasible logic ⋮ Formalizing GDPR provisions in reified I/O logic: the DAPRECO knowledge base ⋮ A Formal Language for Electronic Contracts ⋮ Enabling reasoning with LegalRuleML ⋮ Justice Delayed Is Justice Denied: Logics for a Temporal Account of Reparations and Legal Compliance ⋮ Sequent calculi for choice logics

This page was built for publication: