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

Six Lectures on Dynamic Logic

Thumbnail Image
Download
Name

MIT-LCS-TM-117.pdf

Size

6.33 MB

Format

Adobe PDF

Checksum (MD5)

66c1cb780ebd77e08817d3e59bd01abd

Author(s)
Pratt, Vaughan R.
Date Issued
December 1978
Series/Report no.
MIT-LCS-TM-117
Abstract
The distinction made there between static and dynamic logic has a very simple character, yet can play a central and unifying role in logic as a vantage point from which one can compare propositional calculus, predicate calculus, intensional logics such as modal logic and temporal logic, various algorithmic logics (logics of programs) and Quine's notions of transparency and opacity.
Persistent DSpace Link
PrivacyPermissionsAccessibilityContact us
Notify us about copyright concerns.