dynamic epistemic logic synthese library

Dynamic Epistemic Logic 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. Autor: Hans van Ditmarsch, Wiebe van der Hoek Wydawnictwo: Springer-Verlag New York Inc. Rok wydania: 2007 Okładka: miękka Liczba stron: 296 Wymiary: 24.1 x 23.5 x 2 cm Ilustracje: XI, 296 p. Język: angielski ISBN: 9781402069086