Abstract specification of legal contracts

Proceedings of the International Conference on Artificial Intelligence and Law

Volumn , Issue , 2009, Pages 218-219

  Prisacariu, Cristian ^a   Schneider, Gerardo ^a  

^a UNIVERSITY OF OSLO   (Norway)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACT SPECIFICATIONS; COMPLEMENTATION; DEONTIC; DEONTIC LOGIC; ELECTRONIC CONTRACT; FORMAL SEMANTICS; INFORMAL PRESENTATION; LEGAL CONTRACTS; NATURAL PROPERTIES; PROPOSITIONAL DYNAMIC LOGIC;

ABSTRACTING; ARTIFICIAL INTELLIGENCE; FORMAL LANGUAGES; FORMAL METHODS; LINGUISTICS; SEMANTICS; SPECIFICATIONS;

FORMAL LOGIC;

EID: 70450202812     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1568234.1568262     Document Type: Conference Paper

References (8)

1. J. Broersen, R. Wieringa, and J.-J. C. Meyer. A fixed-point characterization of a deontic logic of regular action. Fundam. Inf., 48(2-3):107-128, 2001.
2. J. Carmo and A. Jones. Deontic logic and contrary-to-duties. In Handbook of Philosophical Logic, pages 265-343. Kluwer, 2002.
3. P. F. Castro and T. Maibaum. A complete and compact propositional deontic logic. In ICTAC'07, volume 4711 of LNCS, pages 109-123, 2007.
4. J.-J. C. Meyer. A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic. Notre Dame J. Formal Logic, 29(1):109-136, 1988.
5. R. Milner. Calculi for synchrony and asynchrony. Theorethical Computer Science, 25:267-310, 1983.
6. C. Prisacariu and G. Schneider. CL: An Action-based Logic for Reasoning about Contracts. In WOLLIC'09, volume 5514 of LNCS. Springer, 2009.
7. R. Van der Meyden. Dynamic logic of permission, the. In LICS'90, pages 72-78. IEEE, 1990.
8. G. H. Von Wright. An Essay in Deontic Logic and the General Theory of Action. North Holland, 1968.