Tools
Tools
Lee, R.M. (1981). A Formal Description of Contractual Commitment. IIASA Working Paper. IIASA, Laxenburg, Austria: WP-81-156
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: | 27 Aug 2021 17:10 |
| URI: | https://pure.iiasa.ac.at/1605 |
Actions (login required)
 |
View Item |