Marknadens största urval
Fri frakt över 199 kr
Snabb leverans
Hjälp
Logga in
  1. Hem
  2. Böcker
  3. Företagande & lärande
  4. Vetenskap
  5. Dynamic Epistemic Logic

Dynamic Epistemic Logic

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

del av Synthese Library-serien

Dynamic Epistemic Logic av Hans van Ditmarsch
Om 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.

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9781402069086
  • Format:
  • Häftad
  • Sidor:
  • 296
  • Utgiven:
  • 15 November 2007
  • Utgåva:
  • 2008
  • Mått:
  • 235x241x20 mm.
  • Vikt:
  • 472 g.
  Fri leverans
Leveranstid: 2-4 veckor
Förväntad leverans: 30 Juli 2024

Om Hans van Ditmarsch

Se alla böcker av Hans van Ditmarsch

Beskrivning av 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.

Användarnas betyg av Dynamic Epistemic Logic



Andra köpte även...
Hitta liknande böcker
Boken Dynamic Epistemic Logic finns i följande kategorier:

Gör som tusentals andra bokälskare

Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.