A dynamic deontic logic for complex contracts

DOI10.1016/j.jlap.2012.03.003zbMath1258.03024OpenAlexW2150436779MaRDI QIDQ444496

Gerardo Schneider, Cristian Prisacariu

Publication date: 14 August 2012

Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlap.2012.03.003

zbMATH Keywords

dynamic logicaction negationcomplex actionsdynamic deontic logice-contractslegal contractsnormative structuresequences of actionssynchronous actionstree model property

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25)

Related Items

A Decidable Multi-agent Logic for Reasoning About Actions, Instruments, and Norms, A framework for conflict analysis of normative texts written in controlled natural language, The categorical imperative: category theory as a foundation for deontic logic, Completely and partially executable sequences of actions in deontic context, A survey of challenges for runtime verification from advanced application domains (beyond software)

Uses Software

• CLAN
• Esterel

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Synchronous Kleene algebra
• A deontic logic of action
• A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic
• Calculi for synchrony and asynchrony
• Getting started: Beginnings in the logic of action
• Automatic Conflict Detection on Contracts
• Model Checking Contracts – A Case Study
• A Complete and Compact Propositional Deontic Logic
• Sequences, Obligations, and the Contrary-to-Duty Paradox
• Run-Time Monitoring of Electronic Contracts
• Modal Logic over Higher Dimensional Automata
• $\mathcal{CL}$ : An Action-Based Logic for Reasoning about Contracts
• Concurrent dynamic logic
• Alternation
• The dynamic logic of permission
• Towards Metalogical Systematisation of Deontic Action Logics Based on Boolean Algebra
• Automated Reasoning
• A Formal Language for Electronic Contracts
• Decidability of Second-Order Theories and Automata on Infinite Trees