Bisimulations on planet Kripke / Jelle Douwe Gerbrandy

<http://data.bibliotheken.nl/id/nbt/p177284811>

Proefschrift Universiteit van Amsterdam

rdfs:label	"Bisimulations on planet Kripke / Jelle Douwe Gerbrandy"
schema:name	"Bisimulations on planet Kripke"
schema:author	Gerbrandy, Jelle Douwe
	Institute for Logic, Language and Computation (Amsterdam)
schema:description	"Proefschrift Universiteit van Amsterdam"
schema:sameAs	<http://www.worldcat.org/oclc/907098060>
schema:mainEntityOfPage	<https://data.bibliotheken.nl/.well-known/genid/3406a9d4f4c479db3a9bcda71633fd34>
kbdef:hasDerivative	Bisimulations on planet Kripke / Jelle Douwe Gerbrandy
http://purl.org/dc/terms#issued	"1999"
schema:about	Semantics
	<http://data.bibliotheken.nl/id/thes/p077593421>
	wiskundige logica
	Epistemische logica
	semantiek
schema:inLanguage	"en"
schema:isPartOf	ILLC dissertation series
schema:isbn	"9057760193"
schema:numberOfPages	184
schema:publication	<https://data.bibliotheken.nl/.well-known/genid/551d8e41d31de5c75803367c7af97a37>

Bisimulations on planet Kripke / Jelle Douwe Gerbrandy schema:ProductModel