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 <>

This is a file in the archives of the Stanford Encyclopedia of Philosophy.
Please note that some links may no longer be functional.