\mathcal{CL} : An Action-Based Logic for Reasoning about Contracts

DOI10.1007/978-3-642-02261-6_27MaRDI QIDQ3638294zbMATH OpenOpenAlexFDO

Authors Cristian Prisacariu, Gerardo Schneider

Publication date 2 July 2009

Published in Logic, Language, Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-02261-6_27

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27)

Recommendations

• A dynamic deontic logic for complex contracts
• Runtime verification of contracts with Themulus
• A Formal Language for Electronic Contracts
• Challenges in the Specification of Full Contracts
• Model Checking Contracts – A Case Study

Cites work

• $\mathcal{CL}$ : An Action-Based Logic for Reasoning about Contracts
• A Complete and Compact Propositional Deontic Logic
• A deontic logic of action
• A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic
• A Formal Language for Electronic Contracts
• Calculi for synchrony and asynchrony
• Contextual deontic logic: Normative agents, violations and independence
• scientific article; zbMATH DE number 3843130 (Why is no real title available?)
• scientific article; zbMATH DE number 3848600 (Why is no real title available?)
• scientific article; zbMATH DE number 3729438 (Why is no real title available?)
• scientific article; zbMATH DE number 1735828 (Why is no real title available?)
• scientific article; zbMATH DE number 1163374 (Why is no real title available?)
• scientific article; zbMATH DE number 1556014 (Why is no real title available?)
• scientific article; zbMATH DE number 3274722 (Why is no real title available?)
• Modal logic
• Run-Time Monitoring of Electronic Contracts

Cited in

(11)

• Modelling and analysis of normative documents
• A framework for conflict analysis of normative texts written in controlled natural language
• Run-Time Monitoring of Electronic Contracts
• Challenges in the Specification of Full Contracts
• $\mathcal{CL}$ : An Action-Based Logic for Reasoning about Contracts
• A dynamic deontic logic for complex contracts
• Computational models for normative multi-agent systems
• Passage retrieval in legal texts
• A Formal Language for Electronic Contracts
• Synchronous agents, verification, and blame -- a deontic view
• Synchronous Kleene algebra

Describes a project that uses

Uses Software

• Esterel

This page was built for publication: $\mathcal{CL}$ : An Action-Based Logic for Reasoning about Contracts

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