On the Expressive Power of Dynamic Logic (Preliminary Report)

Albert R. Meyer, Karl Winklmann

Browse the full STOC paper archive.