Propositional Dynamic Logic Save
Postscript format survey article by Marc Pauly written from a computer science perspective.
http://www.dis.uniroma1.it/~degiacom/...   

Help build the largest human-edited directory of the web
Suggest a site | Open Directory Project | Become an editor