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.
Advertisement
Advertisement
Lendle stats
- 0 Lendlers own it
- 0 Copies available
- 0 Lends requested
- 0 Lends fulfilled
- 0 Lends outstanding
- 0 Spots in line booked
Elsewhere
Genres for this book
Related genres
- Adult Children of Alcoholics
- Analytic Philosophy
- Assembly Language Programming
- Book of Common Prayer
- Book of Kells
- Book of the Dead (Egyptian)
- Book of the Dead (Tibetan)
- Business Mathematics
- Business of Art
- Chaos & Systems
- Chaos Theory
- Client-Server Systems
- Coding Theory
- Coming of Age
- Computer Mathematics
- Computer Technology
- Computer Vision
- Computers
- Computers & Internet
- Computers & Technology
- Conflict of Laws
- Control Systems
- Criticism & Theory
- Database Management Systems
- Democratic Republic of Congo
- Discrete Mathematics
- Drug Delivery Systems
- Eastern Philosophy
- Education Theory
- Electromagnetic Theory
- Embedded Systems
- English as a Foreign Language
- English as a Second Language
- Expert Systems
- Feminist Theory
- Finite Mathematics
- Foreign Language
- Foreign Language Dictionaries & Thesauruses
- Foreign Language Fiction
- Foreign Language Learning
- Foreign Language Study & Reference
- Future of Computing
- Game Theory
- Graph Theory
- Group Theory
- History & Philosophy
- History & Theory
- History of Books
- History of Ideas
- History of Religion
- History of Science
- History of Sports
- Human Figure
- Human Geography
- Human Resources & Personnel Management
- Human Rights
- Human Vision & Language Systems
- Human-Computer Interaction
- Imaging Systems
- Immune Systems
- Industrial Technology
- Industrial, Manufacturing & Operational Systems
- Information Systems
- Information Theory
- Internet
- Internet & Education
- Internet & Networking
- Internet & Web Culture
- Internet Explorer
- Internet Games
- Internet, Groupware, & Telecommunications
- Language
- Language Arts
- Language Experience Approach
- Language Instruction
- Language Studies
- Law Office Technology
- Law of Evidence
- Legal Theory & Systems
- Literary Criticism & Theory
- Logic
- Logic & Brain Teasers
- Logic & Language
- Logic Pro & Logic Express
- Machine Vision
- Manager's Guides to Computing
- Medical Technology
- Mobile & Handheld Computing
- Monks of New Skete
- Multimedia Information Systems
- Natural Language Processing
- Non-US Legal Systems
- Number Systems
- Number Theory
- Operating Systems
- Operating Systems Theory
- Parallel Processing Computers
- People of Color
- Philosophy & Social Aspects
- Philosophy of History
- Political History & Theory
- Power Systems
- Preservation of Art
- Presidents & Heads of State
- Prisoners of War
- Quantum Theory
- Radiologic & Ultrasound Technology
- Reproductive Medicine & Technology
- Republic of the Congo
- Research & Theory
- Rules of Order
- Scanning Systems
- Science & Technology
- Set Theory
- Sign Language
- Social Philosophy
- Social Theory
- Sociology of Sports
- Specialty Travel
- Spy Stories & Tales of Intrigue
- System Theory
- Systems & Planning
- Systems Analysis
- Systems Analysis & Design
- Technology
- Telephone Systems
- Theories of Humor
- Theory
- Theory, Composition & Performance
- Turn of the Century
- Use of Color
- War of 1812
- Words & Language
- Words, Language & Grammar
- Zen Philosophy