Book

Dynamic reasoning without variables

by J. van Eijck, Universiteit van Amsterdam. Institute for Logic, Language and Computation