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.
Propositional Dynamic Logic
Postscript format survey article by Marc Pauly written from a computer science perspective.
Structural Linguistics and Formal Semantics
Article by Jaroslav Peregrin, discussing to what extent Chomsky's views displace Saussure's.
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.