Propositional Dynamic Logic - Postscript format survey article by Marc Pauly written from a computer science perspective. www.dis.uniroma1.it/~degiacom/esslli98-actions/contributions/pauly.ps