A dynamic deontic logic for complex contracts

DOI10.1016/J.JLAP.2012.03.003zbMATH Open1258.03024OpenAlexW2150436779MaRDI QIDQ444496FDOQ444496

Authors: Cristian Prisacariu, Gerardo Schneider 

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

Recommendations

• $\mathcal{CL}$ : An Action-Based Logic for Reasoning about Contracts
• A Formal Language for Electronic Contracts
• Challenges in the Specification of Full Contracts
• Sequences, Obligations, and the Contrary-to-Duty Paradox
• Logical approaches to deontic reasoning: From basic questions to dynamic solutions

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)

Cites Work

• Modal logic
• Getting started: Beginnings in the logic of action
• Title not available (Why is that?)
• Title not available (Why is that?)
• Decidability of Second-Order Theories and Automata on Infinite Trees
• Calculi for synchrony and asynchrony
• Alternation
• Concurrent dynamic logic
• Title not available (Why is that?)
• Synchronous Kleene algebra
• Modal logic over higher dimensional automata
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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
• $\mathcal{CL}$ : An Action-Based Logic for Reasoning about Contracts
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The dynamic logic of permission
• Towards Metalogical Systematisation of Deontic Action Logics Based on Boolean Algebra
• Automated Reasoning
• A Formal Language for Electronic Contracts
• Title not available (Why is that?)
• A deontic logic of action
• A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic

Cited In (14)

• Sequences, Obligations, and the Contrary-to-Duty Paradox
• $\mathcal{CL}$ : An Action-Based Logic for Reasoning about Contracts
• Automated translation of contract texts into defeasible deontic logic
• A Decidable Multi-agent Logic for Reasoning About Actions, Instruments, and Norms
• Specification of contractual obligations in formal business communication
• Logical approaches to deontic reasoning: From basic questions to dynamic solutions
• Challenges in the Specification of Full Contracts
• A survey of challenges for runtime verification from advanced application domains (beyond software)
• A Formal Language for Electronic Contracts
• A logical framework for the Islamic law
• Deontic Logic in Computer Science
• The categorical imperative: category theory as a foundation for deontic logic
• A framework for conflict analysis of normative texts written in controlled natural language
• Completely and partially executable sequences of actions in deontic context

Uses Software

• CLAN
• Esterel

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q444496)