Applications of Modal Logic to Programming
| dc.contributor.author | Pratt, Vaughan R. | en_US |
| dc.date.accessioned | 2023-03-29T14:11:35Z | |
| dc.date.available | 2023-03-29T14:11:35Z | |
| dc.date.issued | 1978-12 | |
| dc.identifier.uri | https://hdl.handle.net/1721.1/148944 | |
| dc.description.abstract | The modal logician's notion of possible world and the computer scientist's notion of state of a machine provide a point of commonality which can form the foundation of a logic of action. Extending ordinary modal logic with the calculus of binary relations leads to a very natural logic for describing the behavior of computer programs. | en_US |
| dc.relation.ispartofseries | MIT-LCS-TM-116 | |
| dc.title | Applications of Modal Logic to Programming | en_US |
| dc.identifier.oclc | 4892586 |
