A dynamic deontic logic for complex contracts

DOI10.1016/J.JLAP.2012.03.003MaRDI QIDQ444496zbMATH OpenOpenAlexFDO

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

action negation complex actions dynamic deontic logic dynamic logic e-contracts legal contracts normative structure sequences of actions synchronous actions tree model property

Mathematics Subject Classification ID

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

Review text

This paper presents a dynamic deontic logic for contracts, not only software contracts, web services, etc., but especially legal contracts. This affects the design of the system. Distinctive here is its stance of the ought-to-do, whereby deontic modalities apply to complex actions, rather than propositions as in so much of deontic logic. In addition, each modality is indexed by a clause indicating a reparation in case of violation. Further, the deontic modalities are added to a dynamic logic in order to allow reasoning about sequences of actions, and also synchronous actions. Unlike other dynamic logics, this considers deterministic actions.NEWLINENEWLINE In addition to the formal analysis and representation of the applicable concepts, the principal result here is to establish that the deontic modalities over synchronous actions have the tree model property, and hence are decidable. Further, many familiar properties of the deontic modalities are indicated, as well as how the present system avoids many of the standard paradoxes of deontic logic.

Recommendations

Cites work

Cited in

(16)

Describes a project that uses

Uses Software

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)