scientific article; zbMATH DE number 5171595
From MaRDI portal
Publication:5296763
zbMath1122.03013MaRDI QIDQ5296763
Guido Governatori, Antonino Rotolo
Publication date: 16 July 2007
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
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:
