Dynamic Epistemic Logic

Saved in:
Bibliographic Details
Main Author: Ditmarsch, Hans
Corporate Author: SpringerLink (Online service)
Other Authors: Hoek, Wiebe, Kooi, Barteld
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