The Technique of Controversy: Principles of Dynamic Logic