A Formal Description of Contractual Commitment

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

[thumbnail of WP-81-156.pdf]

Download (1MB) | Preview


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: 27 Aug 2021 17:10
URI: https://pure.iiasa.ac.at/1605

Actions (login required)

View Item View Item