Dynamic Epistemic Logic
Saved in:
Main Author: | |
---|---|
Corporate Author: | |
Other Authors: | , |
Format: | Electronic eBook |
Language: | English |
Published: |
Dordrecht :
Springer Netherlands,
2007.
|
Series: | Studies In Epistemology, Logic, Methodology, And Philosophy Of Science ;
337 |
Subjects: | |
Online Access: | http://dx.doi.org/10.1007/978-1-4020-5839-4 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
MARC
LEADER | 00000nam a22000005i 4500 | ||
---|---|---|---|
001 | 0000051312 | ||
005 | 20171002052646.0 | ||
007 | cr nn 008mamaa | ||
008 | 100301s2007 ne | s |||| 0|eng d | ||
020 | |a 9781402058394 |9 978-1-4020-5839-4 | ||
024 | 7 | |a 10.1007/978-1-4020-5839-4 |2 doi | |
035 | |a 0000001399 | ||
035 | |a (DE-He213)978-1-4020-5839-4 | ||
050 | 4 | |a BC1-199 | |
072 | 7 | |a HPL |2 bicssc | |
072 | 7 | |a PHI011000 |2 bisacsh | |
082 | 0 | 4 | |a 160 |2 23 |
100 | 1 | |a Ditmarsch, Hans. | |
245 | 1 | 0 | |a Dynamic Epistemic Logic |h [electronic resource] / |c by Hans Ditmarsch, Wiebe Hoek, Barteld Kooi. |
260 | |a Dordrecht : |b Springer Netherlands, |c 2007. | ||
300 | |b digital. | ||
490 | 0 | |a Studies In Epistemology, Logic, Methodology, And Philosophy Of Science ; |v 337 | |
650 | 0 | |a Philosophy (General). | |
650 | 0 | |a Genetic epistemology. | |
650 | 0 | |a Logic. | |
650 | 0 | |a Computer science. | |
650 | 0 | |a Artificial intelligence. | |
650 | 1 | 4 | |a Philosophy. |
650 | 2 | 4 | |a Logic. |
650 | 2 | 4 | |a Artificial Intelligence (incl. Robotics). |
650 | 2 | 4 | |a Epistemology. |
650 | 2 | 4 | |a Mathematical Logic and Formal Languages. |
700 | 1 | |a Hoek, Wiebe. | |
700 | 1 | |a Kooi, Barteld. | |
710 | 2 | |a SpringerLink (Online service) | |
773 | 0 | |t Springer eBooks | |
776 | 0 | 8 | |i Printed edition: |z 9781402058387 |
830 | 0 | |a Studies In Epistemology, Logic, Methodology, And Philosophy Of Science ; |v 337 | |
856 | 4 | 0 | |u http://dx.doi.org/10.1007/978-1-4020-5839-4 |
908 | |a 121203 | ||
912 | |a ZDB-2-SHU | ||
942 | 0 | 0 | |c EB |
950 | |a Humanities, Social Sciences and Law (Springer-11648) | ||
999 | |c 44700 |d 44700 |