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 (5)

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

This page was built for publication: A dynamic deontic logic for complex contracts