Definability in Dynamic Logic

Albert R. Meyer, Rohit Parikh

Browse the full STOC paper archive.