A dynamic deontic logic for complex contracts
From MaRDI portal
Publication:444496
DOI10.1016/J.JLAP.2012.03.003zbMATH Open1258.03024OpenAlexW2150436779MaRDI QIDQ444496FDOQ444496
Recommendations
- $\mathcal{CL}$ : An Action-Based Logic for Reasoning about Contracts
- A Formal Language for Electronic Contracts
- Challenges in the Specification of Full Contracts
- Sequences, Obligations, and the Contrary-to-Duty Paradox
- Logical approaches to deontic reasoning: From basic questions to dynamic solutions
Cites Work
- scientific article; zbMATH DE number 3887063 (Why is no real title available?)
- 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 3898850 (Why is no real title available?)
- scientific article; zbMATH DE number 4039251 (Why is no real title available?)
- scientific article; zbMATH DE number 3729438 (Why is no real title available?)
- scientific article; zbMATH DE number 3499717 (Why is no real title available?)
- scientific article; zbMATH DE number 1735828 (Why is no real title available?)
- scientific article; zbMATH DE number 1059246 (Why is no real title available?)
- scientific article; zbMATH DE number 1163374 (Why is no real title available?)
- scientific article; zbMATH DE number 1531624 (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?)
- $\mathcal{CL}$ : An Action-Based Logic for Reasoning about Contracts
- A Complete and Compact Propositional Deontic Logic
- A Formal Language for Electronic Contracts
- A deontic logic of action
- A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic
- Alternation
- Automated Reasoning
- Automatic Conflict Detection on Contracts
- Calculi for synchrony and asynchrony
- Concurrent dynamic logic
- Decidability of Second-Order Theories and Automata on Infinite Trees
- Getting started: Beginnings in the logic of action
- Modal logic
- Modal logic over higher dimensional automata
- Model Checking Contracts – A Case Study
- Run-Time Monitoring of Electronic Contracts
- Sequences, Obligations, and the Contrary-to-Duty Paradox
- Synchronous Kleene algebra
- The dynamic logic of permission
- Towards Metalogical Systematisation of Deontic Action Logics Based on Boolean Algebra
Cited In (15)
- Sequences, Obligations, and the Contrary-to-Duty Paradox
- $\mathcal{CL}$ : An Action-Based Logic for Reasoning about Contracts
- Automated translation of contract texts into defeasible deontic logic
- A Decidable Multi-agent Logic for Reasoning About Actions, Instruments, and Norms
- Specification of contractual obligations in formal business communication
- Logical approaches to deontic reasoning: From basic questions to dynamic solutions
- Challenges in the Specification of Full Contracts
- A survey of challenges for runtime verification from advanced application domains (beyond software)
- A Formal Language for Electronic Contracts
- A logical framework for the Islamic law
- Deontic Logic in Computer Science
- The categorical imperative: category theory as a foundation for deontic logic
- Modal epistemic logic on contracts: a doctrinal approach
- A framework for conflict analysis of normative texts written in controlled natural language
- Completely and partially executable sequences of actions in deontic context
This page was built for publication: A dynamic deontic logic for complex contracts
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q444496)
