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 <krister.segerberg@filosofi.uu.se>
John-Jules Meyer <jj@cs.uu.nl>
Marcus Kracht <marcus.kracht@uni-bielefeld.de>

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