Notes to The Logic of Action

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
Krister Segerberg
John-Jules Meyer
Marcus Kracht

Open access to the SEP is made possible by a world-wide funding initiative.
The Encyclopedia Now Needs Your Support
Please Read How You Can Help Keep the Encyclopedia Free