Challenges in the Specification of Full Contracts

DOI10.1007/978-3-642-00255-7_20MaRDI QIDQ3605474zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

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

Cites work

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

Cited in

(8)

• $\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 dynamic deontic logic for complex contracts
• 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)