Bisimulations on planet Kripke
By: door Jelle Douwe Gerbrandy
Series: ILLC dissertation series -- 1999-01
Publisher: Institute for Logic, Language and Computation, Universiteit van Amsterdam
Published: 1998
Place of publication: Amsterdam
Language: eng
Number of pages: 184
Subjects: Semantics; Set theory; Logic; Model theory; Theory of Knowledge
Notes: Thesis (Ph. D.)--Universiteit van Amsterdam, 1999.

Includes bibliographical references (p. 173-178).