Six Lectures on Dynamic Logic
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 algo...
| Main Author: | |
|---|---|
| Published: |
2023
|
| Online Access: | https://hdl.handle.net/1721.1/148945 |
| _version_ | 1826204321024311296 |
|---|---|
| author | Pratt, Vaughan R. |
| author_facet | Pratt, Vaughan R. |
| author_sort | Pratt, Vaughan R. |
| collection | MIT |
| description | 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. |
| first_indexed | 2024-09-23T12:52:46Z |
| id | mit-1721.1/148945 |
| institution | Massachusetts Institute of Technology |
| last_indexed | 2024-09-23T12:52:46Z |
| publishDate | 2023 |
| record_format | dspace |
| spelling | mit-1721.1/1489452023-03-30T03:42:40Z Six Lectures on Dynamic Logic Pratt, Vaughan R. 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. 2023-03-29T14:11:40Z 2023-03-29T14:11:40Z 1978-12 https://hdl.handle.net/1721.1/148945 4892626 MIT-LCS-TM-117 application/pdf |
| spellingShingle | Pratt, Vaughan R. Six Lectures on Dynamic Logic |
| title | Six Lectures on Dynamic Logic |
| title_full | Six Lectures on Dynamic Logic |
| title_fullStr | Six Lectures on Dynamic Logic |
| title_full_unstemmed | Six Lectures on Dynamic Logic |
| title_short | Six Lectures on Dynamic Logic |
| title_sort | six lectures on dynamic logic |
| url | https://hdl.handle.net/1721.1/148945 |
| work_keys_str_mv | AT prattvaughanr sixlecturesondynamiclogic |