Title: The Technique of Controversy Principles of Dynamic Logic