Challenges in the Specification of Full Contracts
From MaRDI portal
Publication:3605474
DOI10.1007/978-3-642-00255-7_20zbMath1211.68251OpenAlexW1521938291MaRDI QIDQ3605474
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
Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (4)
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 ⋮ A survey of challenges for runtime verification from advanced application domains (beyond software) ⋮ A trace-based model for multiparty contracts
Cites Work
- Unnamed Item
- A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic
- A calculus of communicating systems
- Top-down development of layered fault tolerant systems and its problems -- a deontic perspective
- Deontic interpreted systems
- On agents that have the ability to choose
- Contrary-to-duty obligations
- Combinations of tense and deontic modality: On the \(R_{t}\) approach to temporal logic with historical necessity and conditional obligation
- Automatic Conflict Detection on Contracts
- Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking
- A Complete and Compact Propositional Deontic Logic
- Sequences, Obligations, and the Contrary-to-Duty Paradox
- Theoretical foundations for compensations in flow composition languages
- A Formal Language for Electronic Contracts
- Communicating Sequential Processes. The First 25 Years
This page was built for publication: Challenges in the Specification of Full Contracts
