Homepage
| Files: | Description | Format |
| Fulltext Original | PDF (requires Acrobat Reader) | |
| Fulltext Revised | PDF (requires Acrobat Reader) | |
| Fulltext Original | PostScript (requires a PostScript Reader) | |
| Fulltext Revised | 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 | |