Location of Repository

Simulation, Ramification, and Linear Logic

By G. White

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

Topics: Contents
Year: 2007
OAI identifier: oai:CiteSeerX.psu:10.1.1.41.6903
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • ftp://ftp.dcs.qmw.ac.uk/pub/ap... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.