The transparencies will appear upside down.  To correct, change
"landscape" to "seascape" in the tool bar. 

<UL>
<LI> Propositional Dynamic Logic:
	<a href="pdl.ps">transparencies</a>.
<LI> Completeness of PDL
	<a href="compl.ps">transparencies</a>.
<LI> Hoare style logics
	<a href="hoare.ps">transparencies</a>.
<LI> Logic-driven program development
	<a href="develop.ps">transparencies</a>.

<LI> Draft 
	<a href="pdl-notes.ps">Lecture Notes</a> 
	for PDL (including completeness and undecidability)
</UL>