Matches in SemOpenAlex for { <https://semopenalex.org/work/W2129161638> ?p ?o ?g. }
Showing items 1 to 42 of
42
with 100 items per page.
- W2129161638 abstract "The paper presents an action-based formal language called CL for abstract specification of legal contracts. The purpose of the language is to be used to reason about legal contracts (and electronic contracts on the long run). CL combines the legal notions obligation, permission, and prohibition from deontic logic with the action modality of propositional dynamic logic (PDL). The deontic modalities are applied only over actions, thus following the ought-to-do approach. The language includes a synchrony operator to model actions performed at the same time, and a special complementation operation to encode the violation of obligations. The language has a formal semantics in terms of normative structures, specially defined to capture several natural properties of legal contracts. We focus on the informal presentation of the choices made when designing CL, and its semantics." @default.
- W2129161638 created "2016-06-24" @default.
- W2129161638 creator A5051084250 @default.
- W2129161638 creator A5057501730 @default.
- W2129161638 date "2009-06-08" @default.
- W2129161638 modified "2023-09-26" @default.
- W2129161638 title "Abstract specification of legal contracts" @default.
- W2129161638 cites W1568454198 @default.
- W2129161638 cites W1857414717 @default.
- W2129161638 cites W2001748564 @default.
- W2129161638 cites W2021916230 @default.
- W2129161638 cites W2167033980 @default.
- W2129161638 doi "https://doi.org/10.1145/1568234.1568262" @default.
- W2129161638 hasPublicationYear "2009" @default.
- W2129161638 type Work @default.
- W2129161638 sameAs 2129161638 @default.
- W2129161638 citedByCount "3" @default.
- W2129161638 countsByYear W21291616382014 @default.
- W2129161638 crossrefType "proceedings-article" @default.
- W2129161638 hasAuthorship W2129161638A5051084250 @default.
- W2129161638 hasAuthorship W2129161638A5057501730 @default.
- W2129161638 hasConcept C144133560 @default.
- W2129161638 hasConcept C41008148 @default.
- W2129161638 hasConceptScore W2129161638C144133560 @default.
- W2129161638 hasConceptScore W2129161638C41008148 @default.
- W2129161638 hasLocation W21291616381 @default.
- W2129161638 hasOpenAccess W2129161638 @default.
- W2129161638 hasPrimaryLocation W21291616381 @default.
- W2129161638 hasRelatedWork W2093578348 @default.
- W2129161638 hasRelatedWork W2350741829 @default.
- W2129161638 hasRelatedWork W2358668433 @default.
- W2129161638 hasRelatedWork W2376932109 @default.
- W2129161638 hasRelatedWork W2382290278 @default.
- W2129161638 hasRelatedWork W2390279801 @default.
- W2129161638 hasRelatedWork W2748952813 @default.
- W2129161638 hasRelatedWork W2766271392 @default.
- W2129161638 hasRelatedWork W2899084033 @default.
- W2129161638 hasRelatedWork W3004735627 @default.
- W2129161638 isParatext "false" @default.
- W2129161638 isRetracted "false" @default.
- W2129161638 magId "2129161638" @default.
- W2129161638 workType "article" @default.