Bisimulations on planet Kripke - Gerbrandy, Jelle (Inst. for Logic, Language and Computation, Univ.van Amsterdam, 1999)
Keywords: Kripke, Saul A. -- 1940-2022; Epistemische Logik; Hochschulschrift