| _version_ |
1826212009807446016
|
| author |
Halpern, Joseph Y.
|
| author_facet |
Halpern, Joseph Y.
|
| author_sort |
Halpern, Joseph Y.
|
| collection |
MIT
|
| first_indexed |
2024-09-23T15:15:03Z
|
| id |
mit-1721.1/149015
|
| institution |
Massachusetts Institute of Technology
|
| last_indexed |
2024-09-23T15:15:03Z
|
| publishDate |
2023
|
| record_format |
dspace
|
| spelling |
mit-1721.1/1490152023-03-30T03:16:11Z On the Expressive Power of Dynamic Logic, II Halpern, Joseph Y. 2023-03-29T14:19:52Z 2023-03-29T14:19:52Z 1981-08 https://hdl.handle.net/1721.1/149015 9157742 MIT-LCS-TM-204 application/pdf
|
| spellingShingle |
Halpern, Joseph Y.
On the Expressive Power of Dynamic Logic, II
|
| title |
On the Expressive Power of Dynamic Logic, II
|
| title_full |
On the Expressive Power of Dynamic Logic, II
|
| title_fullStr |
On the Expressive Power of Dynamic Logic, II
|
| title_full_unstemmed |
On the Expressive Power of Dynamic Logic, II
|
| title_short |
On the Expressive Power of Dynamic Logic, II
|
| title_sort |
on the expressive power of dynamic logic ii
|
| url |
https://hdl.handle.net/1721.1/149015
|
| work_keys_str_mv |
AT halpernjosephy ontheexpressivepowerofdynamiclogicii
|