Dynamic Epistemic Logic:
Gespeichert in:
Format: | Elektronisch E-Book |
---|---|
Sprache: | English |
Veröffentlicht: |
Dordrecht
Springer
2007
|
Ausgabe: | 1. Ed. |
Schriftenreihe: | Synthese Library
337 |
Schlagworte: | |
Online-Zugang: | UBG01 UBR01 UPA01 Volltext |
Beschreibung: | 1 Online-Ressource (300 S.) |
ISBN: | 9781402058387 9781402058394 |
DOI: | 10.1007/978-1-4020-5839-4 |
Internformat
MARC
LEADER | 00000nmm a2200000 cb4500 | ||
---|---|---|---|
001 | BV022458639 | ||
003 | DE-604 | ||
005 | 20110407 | ||
007 | cr|uuu---uuuuu | ||
008 | 070611s2007 gw |||| o||u| ||||||eng d | ||
015 | |a 07,N05,0103 |2 dnb | ||
020 | |a 9781402058387 |9 978-1-4020-5838-7 | ||
020 | |a 9781402058394 |c Online |9 978-1-4020-5839-4 | ||
024 | 7 | |a 10.1007/978-1-4020-5839-4 |2 doi | |
024 | 3 | |a 9781402058387 | |
035 | |a (OCoLC)700004173 | ||
035 | |a (DE-599)BVBBV022458639 | ||
040 | |a DE-604 |b ger |e rakddb | ||
041 | 0 | |a eng | |
044 | |a gw |c XA-DE-BE | ||
049 | |a DE-739 |a DE-355 |a DE-473 | ||
084 | |a CC 2600 |0 (DE-625)17610: |2 rvk | ||
084 | |a ST 300 |0 (DE-625)143650: |2 rvk | ||
084 | |a 100 |2 sdnb | ||
245 | 1 | 0 | |a Dynamic Epistemic Logic |c Hans van Ditmarsch ; Wiebe van der Hoek ; Barteld Kooi |
250 | |a 1. Ed. | ||
264 | 1 | |a Dordrecht |b Springer |c 2007 | |
300 | |a 1 Online-Ressource (300 S.) | ||
336 | |b txt |2 rdacontent | ||
337 | |b c |2 rdamedia | ||
338 | |b cr |2 rdacarrier | ||
490 | 1 | |a Synthese Library |v 337 | |
650 | 0 | 7 | |a Epistemische Logik |0 (DE-588)4152538-3 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Dynamische Logik |0 (DE-588)4637784-0 |2 gnd |9 rswk-swf |
689 | 0 | 0 | |a Dynamische Logik |0 (DE-588)4637784-0 |D s |
689 | 0 | 1 | |a Epistemische Logik |0 (DE-588)4152538-3 |D s |
689 | 0 | |5 DE-604 | |
700 | 1 | |a Ditmarsch, Hans van |d 1959- |e Sonstige |0 (DE-588)133419703 |4 oth | |
700 | 1 | |a Hoek, Wiebe van der |e Sonstige |0 (DE-588)123196957 |4 oth | |
700 | 1 | |a Kooi, Barteld |e Sonstige |4 oth | |
830 | 0 | |a Synthese Library |v 337 |w (DE-604)BV000005044 |9 337 | |
856 | 4 | 0 | |u https://doi.org/10.1007/978-1-4020-5839-4 |x Verlag |3 Volltext |
912 | |a ZDB-2-SHU | ||
999 | |a oai:aleph.bib-bvb.de:BVB01-015666364 | ||
966 | e | |u https://doi.org/10.1007/978-1-4020-5839-4 |l UBG01 |p ZDB-2-SHU |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-1-4020-5839-4 |l UBR01 |p ZDB-2-SHU |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-1-4020-5839-4 |l UPA01 |p ZDB-2-SHU |x Verlag |3 Volltext |
Datensatz im Suchindex
_version_ | 1804136540869230592 |
---|---|
adam_txt | |
any_adam_object | |
any_adam_object_boolean | |
author_GND | (DE-588)133419703 (DE-588)123196957 |
building | Verbundindex |
bvnumber | BV022458639 |
classification_rvk | CC 2600 ST 300 |
collection | ZDB-2-SHU |
ctrlnum | (OCoLC)700004173 (DE-599)BVBBV022458639 |
discipline | Informatik Philosophie |
discipline_str_mv | Informatik Philosophie |
doi_str_mv | 10.1007/978-1-4020-5839-4 |
edition | 1. Ed. |
format | Electronic eBook |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02004nmm a2200529 cb4500</leader><controlfield tag="001">BV022458639</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20110407 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">070611s2007 gw |||| o||u| ||||||eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">07,N05,0103</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781402058387</subfield><subfield code="9">978-1-4020-5838-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781402058394</subfield><subfield code="c">Online</subfield><subfield code="9">978-1-4020-5839-4</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-1-4020-5839-4</subfield><subfield code="2">doi</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9781402058387</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)700004173</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV022458639</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-473</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2600</subfield><subfield code="0">(DE-625)17610:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 300</subfield><subfield code="0">(DE-625)143650:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">100</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Dynamic Epistemic Logic</subfield><subfield code="c">Hans van Ditmarsch ; Wiebe van der Hoek ; Barteld Kooi</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. Ed.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Dordrecht</subfield><subfield code="b">Springer</subfield><subfield code="c">2007</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (300 S.)</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Synthese Library</subfield><subfield code="v">337</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="650" ind1="0" ind2="7"><subfield code="a">Dynamische Logik</subfield><subfield code="0">(DE-588)4637784-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Dynamische Logik</subfield><subfield code="0">(DE-588)4637784-0</subfield><subfield code="D">s</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="700" ind1="1" ind2=" "><subfield code="a">Ditmarsch, Hans van</subfield><subfield code="d">1959-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)133419703</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Hoek, Wiebe van der</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)123196957</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kooi, Barteld</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Synthese Library</subfield><subfield code="v">337</subfield><subfield code="w">(DE-604)BV000005044</subfield><subfield code="9">337</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-1-4020-5839-4</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SHU</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-015666364</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-1-4020-5839-4</subfield><subfield code="l">UBG01</subfield><subfield code="p">ZDB-2-SHU</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-1-4020-5839-4</subfield><subfield code="l">UBR01</subfield><subfield code="p">ZDB-2-SHU</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-1-4020-5839-4</subfield><subfield code="l">UPA01</subfield><subfield code="p">ZDB-2-SHU</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
id | DE-604.BV022458639 |
illustrated | Not Illustrated |
index_date | 2024-07-02T17:39:16Z |
indexdate | 2024-07-09T20:58:02Z |
institution | BVB |
isbn | 9781402058387 9781402058394 |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-015666364 |
oclc_num | 700004173 |
open_access_boolean | |
owner | DE-739 DE-355 DE-BY-UBR DE-473 DE-BY-UBG |
owner_facet | DE-739 DE-355 DE-BY-UBR DE-473 DE-BY-UBG |
physical | 1 Online-Ressource (300 S.) |
psigel | ZDB-2-SHU |
publishDate | 2007 |
publishDateSearch | 2007 |
publishDateSort | 2007 |
publisher | Springer |
record_format | marc |
series | Synthese Library |
series2 | Synthese Library |
spelling | Dynamic Epistemic Logic Hans van Ditmarsch ; Wiebe van der Hoek ; Barteld Kooi 1. Ed. Dordrecht Springer 2007 1 Online-Ressource (300 S.) txt rdacontent c rdamedia cr rdacarrier Synthese Library 337 Epistemische Logik (DE-588)4152538-3 gnd rswk-swf Dynamische Logik (DE-588)4637784-0 gnd rswk-swf Dynamische Logik (DE-588)4637784-0 s Epistemische Logik (DE-588)4152538-3 s DE-604 Ditmarsch, Hans van 1959- Sonstige (DE-588)133419703 oth Hoek, Wiebe van der Sonstige (DE-588)123196957 oth Kooi, Barteld Sonstige oth Synthese Library 337 (DE-604)BV000005044 337 https://doi.org/10.1007/978-1-4020-5839-4 Verlag Volltext |
spellingShingle | Dynamic Epistemic Logic Synthese Library Epistemische Logik (DE-588)4152538-3 gnd Dynamische Logik (DE-588)4637784-0 gnd |
subject_GND | (DE-588)4152538-3 (DE-588)4637784-0 |
title | Dynamic Epistemic Logic |
title_auth | Dynamic Epistemic Logic |
title_exact_search | Dynamic Epistemic Logic |
title_exact_search_txtP | Dynamic Epistemic Logic |
title_full | Dynamic Epistemic Logic Hans van Ditmarsch ; Wiebe van der Hoek ; Barteld Kooi |
title_fullStr | Dynamic Epistemic Logic Hans van Ditmarsch ; Wiebe van der Hoek ; Barteld Kooi |
title_full_unstemmed | Dynamic Epistemic Logic Hans van Ditmarsch ; Wiebe van der Hoek ; Barteld Kooi |
title_short | Dynamic Epistemic Logic |
title_sort | dynamic epistemic logic |
topic | Epistemische Logik (DE-588)4152538-3 gnd Dynamische Logik (DE-588)4637784-0 gnd |
topic_facet | Epistemische Logik Dynamische Logik |
url | https://doi.org/10.1007/978-1-4020-5839-4 |
volume_link | (DE-604)BV000005044 |
work_keys_str_mv | AT ditmarschhansvan dynamicepistemiclogic AT hoekwiebevander dynamicepistemiclogic AT kooibarteld dynamicepistemiclogic |