LCS Publication Details
Publication Title: ON THE EXPRESSIVE POWER OF DYNAMIC LOGIC
Publication Author: Meyer, Albert R.
Additional Authors: Winklmann, Karl
LCS Document Number: MIT-LCS-TM-157
Publication Date: 2-1-1980
LCS Group: No Group Specified
Additional URL: No URL Given
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.
To obtain this publication:

    To purchase a printed copy of this publication please contact MIT Document Services.