Hans van Ditmarsch,
Wiebe van der Hoek,
Barteld Kooi
Dynamic Epistemic Logic
Paperback Engels 2007 2008e druk 9781402069086
Verwachte levertijd ongeveer 9 werkdagen
Samenvatting
Dynamic Epistemic Logic is the logic of knowledge change. This book provides various logics to support such formal specifications, including proof systems. Concrete examples and epistemic puzzles enliven the exposition. The book also offers exercises with answers. It is suitable for graduate courses in logic. Many examples, exercises, and thorough completeness proofs and expressivity results are included. A companion web page offers slides for lecturers and exams for further practice.
Specificaties
ISBN13:9781402069086
Taal:Engels
Bindwijze:paperback
Aantal pagina's:296
Uitgever:Springer Netherlands
Druk:2008
Serie:Synthese Library
Lezersrecensies
Wees de eerste die een lezersrecensie schrijft!
Inhoudsopgave
Epistemic Logic.- Belief Revision.- Public Announcements.- Epistemic Actions.- Action Models.- Completeness.- Expressivity.
Rubrieken
- advisering
- algemeen management
- coaching en trainen
- communicatie en media
- economie
- financieel management
- inkoop en logistiek
- internet en social media
- it-management / ict
- juridisch
- leiderschap
- marketing
- mens en maatschappij
- non-profit
- ondernemen
- organisatiekunde
- personal finance
- personeelsmanagement
- persoonlijke effectiviteit
- projectmanagement
- psychologie
- reclame en verkoop
- strategisch management
- verandermanagement
- werk en loopbaan