Dynamic Predicate Logic (1990)

by Jeroen Groenendijk, Martin Stokhof