Dynamic Epistemic Logic (Synthese Library, 337)
Product ID: 1402069081
Condition: USED (All books in used condition)
Payflex: Pay in 4 interest-free payments of R1,132.75. Read the FAQ
R 4,531
includes Duties & VAT
Delivery: 10-20 working days
Ships from USA warehouse.
Secure Transaction
VISA
Mastercard
payflex
ozow
Product Description
Condition - Very Good
The item shows wear from consistent use but remains in good condition. It may arrive with damaged packaging or be repackaged.
Dynamic Epistemic Logic (Synthese Library, 337)
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.
Technical Specifications
Country
USA
Brand
Springer
Manufacturer
Springer
Binding
Paperback
ReleaseDate
2007-11-15T00:00:01Z
UnitCount
1
EANs
9781402069086
