We are experiencing some difficulties with our submission forms, which we are working to resolve. If you have any issues, please contact us at dspace-lib@mit.edu.

Applications of Modal Logic to Programming

Thumbnail Image
Download
Name

MIT-LCS-TM-116.pdf

Size

5.04 MB

Format

Adobe PDF

Checksum (MD5)

61fb95ab0a5b0f513d832fe1accf9d87

Author(s)
Pratt, Vaughan R.
Date Issued
December 1978
Series/Report no.
MIT-LCS-TM-116
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.
Persistent DSpace Link
PrivacyPermissionsAccessibilityContact us
Notify us about copyright concerns.