Typed logics with states (1997)

by J van Eijck
Venue:Logic Journal of the IGPL