Göm menyn
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

Responsible for this page: Peter Berkesand
Last updated: 2017-02-21