Availability: Bisimulations on planet Kripke | Technische Universität München

Bisimulations on planet Kripke:

Saved in:

Bibliographic Details
Main Author:	Gerbrandy, Jelle (Author)
Format:	Thesis/Dissertation Book
Language:	English
Published:	Amsterdam Inst. for Logic, Language and Computation, Univ.van Amsterdam 1999
Series:	Instituut voor Taal, Logica en Informatie <Amsterdam>: ILLC dissertation series 1999,1
Subjects:	Kripke, Saul A. > 1940-2022 Epistemische Logik Hochschulschrift
Physical Description:	VI, 184 S. graph. Darst.
ISBN:	9057760193

Staff View

MARC


LEADER	00000nam a2200000 cb4500
001	BV012742038
003	DE-604
005	20150622
007	t\|
008	990902s1999 xx d\|\|\| m\|\|\| 00\|\|\| eng d
020			\|a 9057760193 \|9 90-5776-019-3
035			\|a (OCoLC)633072139
035			\|a (DE-599)BVBBV012742038
040			\|a DE-604 \|b ger \|e rakwb
041	0		\|a eng
049			\|a DE-29
084			\|a CI 6431 \|0 (DE-625)18534:11798 \|2 rvk
084			\|a 5,1 \|2 ssgn
100	1		\|a Gerbrandy, Jelle \|e Verfasser \|4 aut
245	1	0	\|a Bisimulations on planet Kripke \|c Jelle Douwe Gerbrandy
264		1	\|a Amsterdam \|b Inst. for Logic, Language and Computation, Univ.van Amsterdam \|c 1999
300			\|a VI, 184 S. \|b graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a Instituut voor Taal, Logica en Informatie <Amsterdam>: ILLC dissertation series \|v 1999,1
502			\|a Zugl.: Amsterdam, Univ., Diss., 1999
600	1	7	\|a Kripke, Saul A. \|d 1940-2022 \|0 (DE-588)118813455 \|2 gnd \|9 rswk-swf
650	0	7	\|a Epistemische Logik \|0 (DE-588)4152538-3 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)4113937-9 \|a Hochschulschrift \|2 gnd-content
689	0	0	\|a Kripke, Saul A. \|d 1940-2022 \|0 (DE-588)118813455 \|D p
689	0	1	\|a Epistemische Logik \|0 (DE-588)4152538-3 \|D s
689	0		\|5 DE-604
830		0	\|a Instituut voor Taal, Logica en Informatie <Amsterdam>: ILLC dissertation series \|v 1999,1 \|w (DE-604)BV010215919 \|9 1999,1
943	1		\|a oai:aleph.bib-bvb.de:BVB01-008664726

Record in the Search Index

_version_	1818955278468513792
any_adam_object
author	Gerbrandy, Jelle
author_facet	Gerbrandy, Jelle
author_role	aut
author_sort	Gerbrandy, Jelle
author_variant	j g jg
building	Verbundindex
bvnumber	BV012742038
classification_rvk	CI 6431
ctrlnum	(OCoLC)633072139 (DE-599)BVBBV012742038
discipline	Philosophie
format	Thesis Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01479nam a2200385 cb4500</leader><controlfield tag="001">BV012742038</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20150622 </controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">990902s1999 xx d\|\|\| m\|\|\| 00\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9057760193</subfield><subfield code="9">90-5776-019-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)633072139</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV012742038</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-29</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CI 6431</subfield><subfield code="0">(DE-625)18534:11798</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">5,1</subfield><subfield code="2">ssgn</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Gerbrandy, Jelle</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Bisimulations on planet Kripke</subfield><subfield code="c">Jelle Douwe Gerbrandy</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="b">Inst. for Logic, Language and Computation, Univ.van Amsterdam</subfield><subfield code="c">1999</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VI, 184 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Instituut voor Taal, Logica en Informatie <Amsterdam>: ILLC dissertation series</subfield><subfield code="v">1999,1</subfield></datafield><datafield tag="502" ind1=" " ind2=" "><subfield code="a">Zugl.: Amsterdam, Univ., Diss., 1999</subfield></datafield><datafield tag="600" ind1="1" ind2="7"><subfield code="a">Kripke, Saul A.</subfield><subfield code="d">1940-2022</subfield><subfield code="0">(DE-588)118813455</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Epistemische Logik</subfield><subfield code="0">(DE-588)4152538-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Kripke, Saul A.</subfield><subfield code="d">1940-2022</subfield><subfield code="0">(DE-588)118813455</subfield><subfield code="D">p</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Epistemische Logik</subfield><subfield code="0">(DE-588)4152538-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Instituut voor Taal, Logica en Informatie <Amsterdam>: ILLC dissertation series</subfield><subfield code="v">1999,1</subfield><subfield code="w">(DE-604)BV010215919</subfield><subfield code="9">1999,1</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-008664726</subfield></datafield></record></collection>
genre	(DE-588)4113937-9 Hochschulschrift gnd-content
genre_facet	Hochschulschrift
id	DE-604.BV012742038
illustrated	Illustrated
indexdate	2024-12-20T10:35:31Z
institution	BVB
isbn	9057760193
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-008664726
oclc_num	633072139
open_access_boolean
owner	DE-29
owner_facet	DE-29
physical	VI, 184 S. graph. Darst.
publishDate	1999
publishDateSearch	1999
publishDateSort	1999
publisher	Inst. for Logic, Language and Computation, Univ.van Amsterdam
record_format	marc
series	Instituut voor Taal, Logica en Informatie <Amsterdam>: ILLC dissertation series
series2	Instituut voor Taal, Logica en Informatie <Amsterdam>: ILLC dissertation series
spelling	Gerbrandy, Jelle Verfasser aut Bisimulations on planet Kripke Jelle Douwe Gerbrandy Amsterdam Inst. for Logic, Language and Computation, Univ.van Amsterdam 1999 VI, 184 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Instituut voor Taal, Logica en Informatie <Amsterdam>: ILLC dissertation series 1999,1 Zugl.: Amsterdam, Univ., Diss., 1999 Kripke, Saul A. 1940-2022 (DE-588)118813455 gnd rswk-swf Epistemische Logik (DE-588)4152538-3 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Kripke, Saul A. 1940-2022 (DE-588)118813455 p Epistemische Logik (DE-588)4152538-3 s DE-604 Instituut voor Taal, Logica en Informatie <Amsterdam>: ILLC dissertation series 1999,1 (DE-604)BV010215919 1999,1
spellingShingle	Gerbrandy, Jelle Bisimulations on planet Kripke Instituut voor Taal, Logica en Informatie <Amsterdam>: ILLC dissertation series Kripke, Saul A. 1940-2022 (DE-588)118813455 gnd Epistemische Logik (DE-588)4152538-3 gnd
subject_GND	(DE-588)118813455 (DE-588)4152538-3 (DE-588)4113937-9
title	Bisimulations on planet Kripke
title_auth	Bisimulations on planet Kripke
title_exact_search	Bisimulations on planet Kripke
title_full	Bisimulations on planet Kripke Jelle Douwe Gerbrandy
title_fullStr	Bisimulations on planet Kripke Jelle Douwe Gerbrandy
title_full_unstemmed	Bisimulations on planet Kripke Jelle Douwe Gerbrandy
title_short	Bisimulations on planet Kripke
title_sort	bisimulations on planet kripke
topic	Kripke, Saul A. 1940-2022 (DE-588)118813455 gnd Epistemische Logik (DE-588)4152538-3 gnd
topic_facet	Kripke, Saul A. 1940-2022 Epistemische Logik Hochschulschrift
volume_link	(DE-604)BV010215919
work_keys_str_mv	AT gerbrandyjelle bisimulationsonplanetkripke

Availability

‌

Order via interlibrary loan