A Formal Description of Contractual Commitment

Lee RM (1981). A Formal Description of Contractual Commitment. IIASA Working Paper. IIASA, Laxenburg, Austria: WP-81-156

[img]
Preview
Text
WP-81-156.pdf

Download (1MB) | Preview

Abstract

A formal language for describing concepts of contractual commitment is presented. It is based on the deontic logic of von Wright, extended to include first order individuals and reference to specific times. This requires a somewhat different version of possible worlds than what von Wright uses.

The applications of this language are to the formal representation of financial and commercial contracts as well as systems of contract law and commercial regulation. This is intended as the basis for decision support system applications capable of interpreting and advising on contracts and regulations.

Item Type: Monograph (IIASA Working Paper)
Research Programs: Management and Technology Area (MMT)
Depositing User: IIASA Import
Date Deposited: 15 Jan 2016 01:49
Last Modified: 22 Jul 2016 16:14
URI: http://pure.iiasa.ac.at/1605

Actions (login required)

View Item View Item

International Institute for Applied Systems Analysis (IIASA)
Schlossplatz 1, A-2361 Laxenburg, Austria
Phone: (+43 2236) 807 0 Fax:(+43 2236) 71 313