article · KTH Publication Database DiVA (KTH Royal Institute of Technology) · 1998
Simulation, Ramification, and Linear Logic
White, Graham
Cited by 0Open access
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.
Cite this paper
White, G. (1998). Simulation, Ramification, and Linear Logic. KTH Publication Database DiVA (KTH Royal Institute of Technology).
White, Graham. “Simulation, Ramification, and Linear Logic.” KTH Publication Database DiVA (KTH Royal Institute of Technology), 1998.
White, Graham. 1998. “Simulation, Ramification, and Linear Logic.” KTH Publication Database DiVA (KTH Royal Institute of Technology).
White, G. (1998) ‘Simulation, Ramification, and Linear Logic’, KTH Publication Database DiVA (KTH Royal Institute of Technology).
@article{white1998simulation,
title = {{Simulation, Ramification, and Linear Logic}},
author = {White, Graham},
journal = {KTH Publication Database DiVA (KTH Royal Institute of Technology)},
year = {1998}
}Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.