Six Lectures on Dynamic Logic
Author(s)
Pratt, Vaughan R.
DownloadMIT-LCS-TM-117.pdf (6.330Mb)
Metadata
Show full item recordAbstract
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.
Date issued
1978-12Series/Report no.
MIT-LCS-TM-117