Typed logic with states - Eijck, Jan van 1951- (Logic, philosophy and linguistics series] Instituut voor Taal, Logica en Informatie <Amsterdam>: [ILLC research report and technical notes series, 1997)