A Formal Language for Electronic Contracts

DOI10.1007/978-3-540-72952-5_11MaRDI QIDQ5428911zbMATH OpenOpenAlexFDO

Authors Cristian Prisacariu, Gerardo Schneider

Publication date 28 November 2007

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

Full work available at URL https://doi.org/10.1007/978-3-540-72952-5_11

Mathematics Subject Classification ID

Internet topics (68M11) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

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

Cites work

• scientific article; zbMATH DE number 3898850 (Why is no real title available?)
• scientific article; zbMATH DE number 1735828 (Why is no real title available?)
• scientific article; zbMATH DE number 1086671 (Why is no real title available?)
• A Formal Language for Electronic Contracts
• A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic
• A practical decision method for propositional dynamic logic (preliminary report)
• Action negation and alternative reductions for dynamic deontic logics
• Contrary-to-duty obligations
• Efficient on-the-fly model-checking for regular alternation-free -calculus
• Linear logic
• Logic of violations: a Gentzen system for reasoning with contrary-to-duty obligations
• Model checking contractual protocols
• Results on the propositional \(\mu\)-calculus

Cited in

(15)

• Model Checking Contracts – A Case Study
• Run-Time Monitoring of Electronic Contracts
• $\mathcal{CL}$ : An Action-Based Logic for Reasoning about Contracts
• Automated translation of contract texts into defeasible deontic logic
• scientific article; zbMATH DE number 1980990 (Why is no real title available?)
• Specification of contractual obligations in formal business communication
• Challenges in the Specification of Full Contracts
• A dynamic deontic logic for complex contracts
• A Formal Language for Electronic Contracts
• A trace-based model for multiparty contracts
• POETS: process-oriented event-driven transaction systems
• A brief account of runtime verification
• Modelling and analysis of normative documents
• A framework for conflict analysis of normative texts written in controlled natural language
• scientific article; zbMATH DE number 2087877 (Why is no real title available?)

This page was built for publication: A Formal Language for Electronic Contracts

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