| Files: | Description | File size | 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 | |||
REFERENCE TO THIS PAGE:
|
||||