Hans van Ditmarsch,
Wiebe van der Hoek,
Barteld Kooi
Springer Netherlands
2008e druk, 2007
9781402058387
Dynamic Epistemic Logic
Specificaties
Gebonden, 296 blz.
|
Engels
Springer Netherlands |
2008e druk, 2007
ISBN13: 9781402058387
Rubricering
Juridisch
:
Onderdeel van serie
Synthese Library
Levertijd ongeveer 9 werkdagen
Gratis verzonden
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:9781402058387
Taal:Engels
Bindwijze:gebonden
Aantal pagina's:296
Uitgever:Springer Netherlands
Druk:2008
Serie:Synthese Library
Inhoudsopgave
Epistemic Logic.- Belief Revision.- Public Announcements.- Epistemic Actions.- Action Models.- Completeness.- Expressivity.
Net verschenen
Rubrieken
- aanbestedingsrecht
- aansprakelijkheids- en verzekeringsrecht
- accountancy
- algemeen juridisch
- arbeidsrecht
- bank- en effectenrecht
- bestuursrecht
- bouwrecht
- burgerlijk recht en procesrecht
- europees-internationaal recht
- fiscaal recht
- gezondheidsrecht
- insolventierecht
- intellectuele eigendom en ict-recht
- management
- mens en maatschappij
- milieu- en omgevingsrecht
- notarieel recht
- ondernemingsrecht
- pensioenrecht
- personen- en familierecht
- sociale zekerheidsrecht
- staatsrecht
- strafrecht en criminologie
- vastgoed- en huurrecht
- vreemdelingenrecht