Stanford Encyclopedia of Philosophy

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 [Salwicki 1970] with Algorithmic Logic.