1. The similarity between
program logic and modal logic was suggested to Pratt
by R. Moore; cf. Harel et al. 2000, p. 187.
2. To be fair, we must also
mention that independently similar ideas were developed by Salwicki
(1970) with Algorithmic Logic.
Copyright © 2013 by
View this site from another server:
The Stanford Encyclopedia of Philosophy is copyright © 2014 by The Metaphysics Research Lab, Center for the Study of Language and Information (CSLI), Stanford University
Library of Congress Catalog Data: ISSN 1095-5054