Challenges in the Specification of Full Contracts

DOI10.1007/978-3-642-00255-7_20zbMATH Open1211.68251OpenAlexW1521938291MaRDI QIDQ3605474FDOQ3605474

Authors: Gordon J. Pace, Gerardo Schneider 

Publication date: 24 February 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://www.um.edu.mt/library/oar//handle/123456789/22730

Recommendations

• A dynamic deontic logic for complex contracts
• Contract agreements via logic
• $\mathcal{CL}$ : An Action-Based Logic for Reasoning about Contracts
• A Formal Language for Electronic Contracts
• Sequences, Obligations, and the Contrary-to-Duty Paradox

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• A calculus of communicating systems
• Deontic interpreted systems
• Contrary-to-duty obligations
• Automatic Conflict Detection on Contracts
• A Complete and Compact Propositional Deontic Logic
• Sequences, Obligations, and the Contrary-to-Duty Paradox
• Title not available (Why is that?)
• Theoretical foundations for compensations in flow composition languages
• A Formal Language for Electronic Contracts
• Communicating Sequential Processes. The First 25 Years
• A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic
• On agents that have the ability to choose
• Top-down development of layered fault tolerant systems and its problems -- a deontic perspective
• Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking
• Combinations of tense and deontic modality: On the \(R_{t}\) approach to temporal logic with historical necessity and conditional obligation

Cited In (7)

• $\mathcal{CL}$ : An Action-Based Logic for Reasoning about Contracts
• Specifying the Semantics of Operation Contracts in Conceptual Modeling
• A survey of challenges for runtime verification from advanced application domains (beyond software)
• A Formal Language for Electronic Contracts
• A trace-based model for multiparty contracts
• Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects
• A framework for conflict analysis of normative texts written in controlled natural language

This page was built for publication: Challenges in the Specification of Full Contracts

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