Can I read On the expressive power of Dynamic Logic (Preliminary Report) on EtoBox?

On the expressive power of Dynamic Logic (Preliminary Report) by Albert R. Meyer; Karl Winklmann is a scholarly article available to read on EtoBox.

What is On the expressive power of Dynamic Logic (Preliminary Report) about?

We show that "looping" of while-programs can be expressed in Regular First-Order Dynamic Logic, dispfoving a conJecture made in [Harel-Pratt 1978]. ]n addition we show that the expressive power of quantifier-free Dynamic Logic increases whet] nondetermJnJsm is introduced in the programs that are part of formulae of Dynamic Logic. Allowing assignments of random values to variables increases the expressive power .even further.

Author

Albert R. Meyer; Karl Winklmann

Publisher

ACM Press

Published

1979

Language

EN