Logics of Programs: Axiomatics and Descriptive Power
This thesis is concerned with the development of mathematical tools for reasoning about computer programs. The approach is to design and investigate the properties of various dynamic logics with an emphasis on useful expressive power and adequate proof theory.
| Main Author: | |
|---|---|
| Other Authors: | |
| Published: |
2023
|
| Online Access: | https://hdl.handle.net/1721.1/149488 |
| _version_ | 1826188620797575168 |
|---|---|
| author | Harel, David |
| author2 | Pratt, Vaughan R. |
| author_facet | Pratt, Vaughan R. Harel, David |
| author_sort | Harel, David |
| collection | MIT |
| description | This thesis is concerned with the development of mathematical tools for reasoning about computer programs. The approach is to design and investigate the properties of various dynamic logics with an emphasis on useful expressive power and adequate proof theory. |
| first_indexed | 2024-09-23T08:02:31Z |
| id | mit-1721.1/149488 |
| institution | Massachusetts Institute of Technology |
| last_indexed | 2024-09-23T08:02:31Z |
| publishDate | 2023 |
| record_format | dspace |
| spelling | mit-1721.1/1494882023-03-30T04:25:13Z Logics of Programs: Axiomatics and Descriptive Power Harel, David Pratt, Vaughan R. This thesis is concerned with the development of mathematical tools for reasoning about computer programs. The approach is to design and investigate the properties of various dynamic logics with an emphasis on useful expressive power and adequate proof theory. 2023-03-29T15:02:10Z 2023-03-29T15:02:10Z 1978-05 https://hdl.handle.net/1721.1/149488 03964036 MIT-LCS-TR-200 application/pdf |
| spellingShingle | Harel, David Logics of Programs: Axiomatics and Descriptive Power |
| title | Logics of Programs: Axiomatics and Descriptive Power |
| title_full | Logics of Programs: Axiomatics and Descriptive Power |
| title_fullStr | Logics of Programs: Axiomatics and Descriptive Power |
| title_full_unstemmed | Logics of Programs: Axiomatics and Descriptive Power |
| title_short | Logics of Programs: Axiomatics and Descriptive Power |
| title_sort | logics of programs axiomatics and descriptive power |
| url | https://hdl.handle.net/1721.1/149488 |
| work_keys_str_mv | AT hareldavid logicsofprogramsaxiomaticsanddescriptivepower |