Dynamic Semantics with Choice Functions - Essay by Jaroslav Peregrin formalising an approach to dynamic logic which introduces choice functions such as exist in ZFC set theory. www.cuni.cz/~peregrin/HTMLTxt/choice.htm
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
Structural Linguistics and Formal Semantics - Article by Jaroslav Peregrin, discussing to what extent Chomsky's views displace Saussure's. www.cuni.cz/~peregrin/HTMLTxt/sl&fs.htm
Topic Focus and the Logic of Language - Essay by Jaroslav Peregrin arguing for the importance of topic focus in the dynamic semantics of Groenendijk and Stokhof. www.cuni.cz/~peregrin/HTMLTxt/tflog.htm
