Dynamic Epistemic Logic

Häftad, Engelska, 2007

AvHans van Ditmarsch,Wiebe van der Hoek,Barteld Kooi,Hans Van Ditmarsch,Wiebe Van Der Hoek,Hans Van Ditmarsch,Wiebe Van Der Hoek

1 379 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Finns i fler format (1)

Inbunden

1 379 kr

Skickas inom 10-15 vardagar

Dynamic Epistemic Logic is the logic of knowledge change. 'Epistemic Logic' is an overview of multi-agent epistemic logic - the logic of knowledge - including modal operators for groups, such as general and common knowledge. 'Epistemic Actions' introduces a generalization of public announcement logic to more complex epistemic actions.

Produktinformation

Utgivningsdatum2007-11-15
Mått155 x 235 x 20 mm
Vikt472 g
FormatHäftad
SpråkEngelska
SerieSynthese Library
Antal sidor296
Upplaga2008
FörlagSpringer-Verlag New York Inc.
ISBN9781402069086

Tillhör följande kategorier

Filosofiska discipliner inom Filosofi och religion
Systemvetenskap och AI inom Data och it
Artificiell intelligens inom Data och it

From the reviews: "I am very glad to see that three people so active in this area of knowledge update are bringing out this book. It should be of great help to graduate students as well as established researchers." Rohit Parikh, Distinguished Professor, City University of New York "The book exhaustively establishes the 2006 state of the art in the DEL, and provides relevant pointers towards the artificial intelligence and theoretical computer science literature. Such a collection did not exist up to now for that dynamic extension of EL, and the book therefore fills a gap. As such it is a precious and highly welcome tool for researchers in all these fields. It is moreover very well-written: the relevant concepts are explained in detail and illustrated by means of examples ... ." (Andreas Herzig, Studia Logica, Vol. 89, 2008)