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.
PDF
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:
White, Graham (1998). Simulation, Ramification, and Linear Logic in Linköping Electronic Articles in Computer and Information Science, Vol. 3. http://www.ep.liu.se/ea/cis/1998/011/. ()