Große Auswahl an günstigen Büchern
Alles immer versandkostenfrei!
Schnelle Lieferung per Post und DHL
Kundenservice
Login
  1. Startseite
  2. Bücher
  3. Wirtschaft & Schule
  4. Wissenschaft
  5. Dynamic Epistemic Logic

Dynamic Epistemic Logic

von Hans van Ditmarsch, Barteld Kooi, Wiebe Van Der Hoek

enthalten in Synthese Library-Reihe

Dynamic Epistemic Logic von Hans van Ditmarsch
Über Dynamic Epistemic Logic

Dynamic Epistemic Logic is the logic of knowledge change. This book provides various logics to support such formal specifications, including proof systems. It is suitable for graduate courses in logic. Many examples, exercises, and thorough completeness proofs and expressivity results are included.

Mehr anzeigen
  • Sprache:
  • Englisch
  • ISBN:
  • 9781402058387
  • Einband:
  • Gebundene Ausgabe
  • Seitenzahl:
  • 296
  • Veröffentlicht:
  • 5. Juni 2007
  • Ausgabe:
  • 2008
  • Abmessungen:
  • 235x155x19 mm.
  • Gewicht:
  • 604 g.
  Versandkostenfrei
  Versandfertig in 1-2 Wochen.

Über Hans van Ditmarsch

Alle Bücher von Hans van Ditmarsch anzeigen

Beschreibung von Dynamic Epistemic Logic

Dynamic Epistemic Logic is the logic of knowledge change. This book provides various logics to support such formal specifications, including proof systems. It is suitable for graduate courses in logic. Many examples, exercises, and thorough completeness proofs and expressivity results are included.

Kund*innenbewertungen von Dynamic Epistemic Logic



Andere kauften auch ...
Ähnliche Bücher finden
Das Buch Dynamic Epistemic Logic ist in den folgenden Kategorien erhältlich:

Willkommen bei den Tales Buchfreunden und -freundinnen

Jetzt zum Newsletter anmelden und tolle Angebote und Anregungen für Ihre nächste Lektüre erhalten.