Publication:5296763
From MaRDI portal
zbMath1122.03013MaRDI QIDQ5296763
Guido Governatori, Antonino Rotolo
Publication date: 16 July 2007
03B45: Modal logic (including the logic of norms)
03A05: Philosophical and critical aspects of logic and foundations
03F05: Cut-elimination and normal-form theorems
03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)
Related Items
Sequence Semantics for Normative Agents, The rationale behind the concept of goal, Unnamed Item, Enabling reasoning with LegalRuleML, A Formal Language for Electronic Contracts, Modal Rules: Extending Defeasible Logic with Modal Operators, Practical Normative Reasoning with Defeasible Deontic Logic, Permission to speak: a logic for access control and conformance, Obligation as optimal goal satisfaction, Sequent calculi for choice logics, Weighted modal logic in epistemic and deontic contexts, Formalizing GDPR provisions in reified I/O logic: the DAPRECO knowledge base, Computing strong and weak permissions in defeasible logic, Justice Delayed Is Justice Denied: Logics for a Temporal Account of Reparations and Legal Compliance