A Formal Description of Contractual Commitment

1605 20 1633 3 3238 document 1633 WP-81-156.pdf application/pdf 66c4d2e11226004b699e7e3879d620bc MD5 1329019 2016-01-15 01:49:27 https://pure.iiasa.ac.at/id/eprint/1605/1/WP-81-156.pdf 1605 1 1 text en public

WP-81-156.pdf

22 ed7ace6447947033b9e3c9103996e184edb40d17 24715 1 36447 document 24715 indexcodes.txt text/x-pascal 95c0ad185992926683a98565520619ce MD5 12393 2016-01-15 18:37:23 https://pure.iiasa.ac.at/id/eprint/1605/2/indexcodes.txt 1605 2 2 text/x-pascal other Generate index codes conversion from text to indexcodes en public

indexcodes.txt

http://eprints.org/relation/isVersionOf https://pure.iiasa.ac.at/id/document/1633 http://eprints.org/relation/isVolatileVersionOf https://pure.iiasa.ac.at/id/document/1633 http://eprints.org/relation/isIndexCodesVersionOf https://pure.iiasa.ac.at/id/document/1633 24722 2 36454 document 24722 lightbox.jpg image/png f8f31fbce41579124007558829ff31e9 MD5 11629 2016-01-15 18:37:44 https://pure.iiasa.ac.at/id/eprint/1605/3/lightbox.jpg 1605 3 3 image/png other Thumbnails conversion from text to thumbnail_lightbox en public

lightbox.jpg

http://eprints.org/relation/isVersionOf https://pure.iiasa.ac.at/id/document/1633 http://eprints.org/relation/isVolatileVersionOf https://pure.iiasa.ac.at/id/document/1633 http://eprints.org/relation/islightboxThumbnailVersionOf https://pure.iiasa.ac.at/id/document/1633 24723 2 36455 document 24723 preview.jpg image/png 63e6c7bf25bea11369fdfe30159e5a76 MD5 5849 2016-01-15 18:37:45 https://pure.iiasa.ac.at/id/eprint/1605/4/preview.jpg 1605 4 4 image/png other Thumbnails conversion from text to thumbnail_preview en public

preview.jpg

http://eprints.org/relation/isVersionOf https://pure.iiasa.ac.at/id/document/1633 http://eprints.org/relation/isVolatileVersionOf https://pure.iiasa.ac.at/id/document/1633 http://eprints.org/relation/ispreviewThumbnailVersionOf https://pure.iiasa.ac.at/id/document/1633 24724 2 36456 document 24724 medium.jpg image/png c1b225e3935e4b15ad19b42deb19315a MD5 2209 2016-01-15 18:37:46 https://pure.iiasa.ac.at/id/eprint/1605/5/medium.jpg 1605 5 5 image/png other Thumbnails conversion from text to thumbnail_medium en public

medium.jpg

http://eprints.org/relation/isVersionOf https://pure.iiasa.ac.at/id/document/1633 http://eprints.org/relation/isVolatileVersionOf https://pure.iiasa.ac.at/id/document/1633 http://eprints.org/relation/ismediumThumbnailVersionOf https://pure.iiasa.ac.at/id/document/1633 24725 2 36457 document 24725 small.jpg image/png 7d0b8b3cdd1484ab62f56a82dafb7172 MD5 999 2016-01-15 18:37:47 https://pure.iiasa.ac.at/id/eprint/1605/6/small.jpg 1605 6 6 image/png other Thumbnails conversion from text to thumbnail_small en public

small.jpg

http://eprints.org/relation/isVersionOf https://pure.iiasa.ac.at/id/document/1633 http://eprints.org/relation/isVolatileVersionOf https://pure.iiasa.ac.at/id/document/1633 http://eprints.org/relation/issmallThumbnailVersionOf https://pure.iiasa.ac.at/id/document/1633 82852 2 232642 document 82852 WP-81-156.pdf application/pdf f7cb53000e7f2ea936624e5cdaee15d4 MD5 2027390 2018-03-14 12:01:02 https://pure.iiasa.ac.at/id/eprint/1605/7/WP-81-156.pdf 1605 7 7 application/pdf other Coversheet version en public

WP-81-156.pdf

http://eprints.org/relation/isVersionOf https://pure.iiasa.ac.at/id/document/1633 http://eprints.org/relation/isVolatileVersionOf https://pure.iiasa.ac.at/id/document/1633 http://eprints.org/relation/isCoversheetVersionOf https://pure.iiasa.ac.at/id/document/1633 archive 351 disk0/00/00/16/05 2016-01-15 01:49:27 2021-08-27 17:10:15 2016-01-15 01:49:27 monograph show 2 Lee R.M. AL12021 A Formal Description of Contractual Commitment pub iis_das prog_mmt 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. 1981-12 published WP-81-156 WP-81-156 2665 public working_paper IIASA, Laxenburg, Austria 43 FALSE info:eu-repo/semantics/book