Temporary registration page before publication by Linköping University Electronic Press, series Computer and Information Science
The following article is intended to be published shortly by Linköping University Electronic Press. The present page gives access to the article, but does not provide the guarantees of persistence.

Simulation, Ramification, and Linear Logic.

Title:Simulation, Ramification, and Linear Logic.
Authors: Graham White
Series:Linköping Electronic Articles in Computer and Information Science
ISSN 1401-9841
Issue:Vol. 3(1998): nr 011
URL: http://www.ep.liu.se/ea/cis/1998/011/
Abstract: 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.

Keywords:
Intended publication 1998-08-23 Postscript
Info from authors  
Third-party information  
[About LiEP] [About Checksum validation] [About compression formats]
Editor-in-chief: editor@ep.liu.se
Webmaster: webmaster@ep.liu.se 		29-Jun-98 16:48