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

DOI10.1007/978-3-642-02261-6_27zbMath1246.68214OpenAlexW1857414717MaRDI QIDQ3638294

Gerardo Schneider, Cristian Prisacariu

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)

Related Items (8)

Modelling and analysis of normative documents ⋮ Unnamed Item ⋮ A framework for conflict analysis of normative texts written in controlled natural language ⋮ A dynamic deontic logic for complex contracts ⋮ Run-Time Monitoring of Electronic Contracts ⋮ Passage retrieval in legal texts ⋮ Synchronous Kleene algebra ⋮ $\mathcal{CL}$ : An Action-Based Logic for Reasoning about Contracts

Uses Software

• Esterel

Cites Work

• A deontic logic of action
• A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic
• Calculi for synchrony and asynchrony
• Contextual deontic logic: Normative agents, violations and independence
• A Complete and Compact Propositional Deontic Logic
• Run-Time Monitoring of Electronic Contracts
• $\mathcal{CL}$ : An Action-Based Logic for Reasoning about Contracts
• A Formal Language for Electronic Contracts
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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