On the Expressive Power of Dynamic Logic
| dc.contributor.author | Meyer, Albert R. | en_US |
| dc.contributor.author | Winklmann, Karl | en_US |
| dc.date.accessioned | 2023-03-29T14:15:59Z | |
| dc.date.available | 2023-03-29T14:15:59Z | |
| dc.date.issued | 1980-02 | |
| dc.identifier.uri | https://hdl.handle.net/1721.1/148984 | |
| dc.description.abstract | We show that "looping" of while-programs can be expressed in Regular First Order Dynamic Logic, disproving a conjecture made by Harel and Pratt. In addition we show that the expressive power of quantifier-free Dynamic Logic increases when nondeterminism is introduced in the programs that are part of formulae of Dynamic Logic. Allowing Assignments of random values to variables also increases expressive power. | en_US |
| dc.relation.ispartofseries | MIT-LCS-TM-157 | |
| dc.title | On the Expressive Power of Dynamic Logic | en_US |
| dc.identifier.oclc | 6681628 |
