Responsible for this page: David Lawrence, davla@ep.liu.se
Page last updated: 2008-07-15
|
Content
| Files: | Description | File size | Format | |
| Fulltext Original |
281K | PDF (requires Acrobat Reader) | ||
| Fulltext Revised |
282K | PDF (requires Acrobat Reader) | ||
| Fulltext Original |
222K | PostScript (requires a PostScript Reader) | ||
| Fulltext Revised |
481K | PostScript (requires a PostScript Reader) | ||
| Author: | Graham White | |||
| Article title: | Simulation, Ramification, and Linear Logic | |||
| Publ. type: | Article | |||
| Volume: | 3 | |||
| Article No: | 11 | |||
| Language: | English | |||
| Abstract [en]: | This article first argues that formalisations of the “frame problem” should have certain desirable logical features; it then proposes a treatment of the frame problem, using linear logic together with modal operators, which fulfils these desiderata and seems to be successful in other respects. | |||
| Publisher: | Linköping University Electronic Press | |||
| Year: | 1998 | |||
| Available: | Original 1998-08-23 and Revised 1999-02-10 | |||
| No. of pages: | Original 13 and Revised 14 | |||
| Series: | Linköping Electronic Articles in Computer and Information Science | |||
| ISSN: | 1401-9841 | |||
| Checksum PDF: | fefdd1c098f50c5790a9a710364f0c8e /home/ep/www/ea/cis/1998/011/cis98011.pdf (MD5), Original | |||
| Checksum PDF: | 99287d96bafdbc12a7adf27c2dbb1155 /home/ep/www/ea/cis/1998/011/cis98011-revised.pdf (MD5), Revised | |||
| Checksum PS: | 7745aa22ef32ec0d4c5009f4eb9918bf /service/www-ep/docs/ea/cis/1998/011/cis98011.ps (MD5), Original | |||
| Checksum PS: | 9ca1e2d22a8de0f005104c2177999277 /service/www-ep/docs/ea/cis/1998/011/cis98011-revised.ps (MD5), Revised | |||
| PGP PDF: | PGP, Original | |||
| PGP PDF: | PGP, Revised | |||
| PGP PS: | PGP, Original | |||
| PGP PS: | PGP, Revised | |||
| Old Checksum: | Checksum (PS), Original| Information about recalculation of Checksum | |||
| Old Checksum: | Checksum (PS), Revised | Information about recalculation of Checksum | |||
| SPECIAL INFO: | Checksum, PGP and persistence | |||
REFERENCE TO THIS PAGE:
|
||||
Last updated: 2008-07-15