wyszukanych pozycji: 4
Dynamic Epistemic Logic
ISBN: 9781402058387 / Angielski / Twarda / 2007 / 296 str. Termin realizacji zamówienia: ok. 20 dni roboczych. 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. Dynamic Epistemic Logic is the logic of knowledge change. This book provides various logics to support such formal specifications, including proof ... |
|
cena:
391,77 zł |
Dynamic Epistemic Logic
ISBN: 9781402069086 / Angielski / Miękka / 2007 / 296 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Dynamic Epistemic Logic is the logic of knowledge change. This is not about one logical system, but about a whole family of logics that allows us to specify static and dynamic aspects of multi-agent systems. This book provides various logics to support such formal specifications, including proof systems. Concrete examples and epistemic puzzles enliven the exposition. The book also contains exercises including answers and is eminently suitable for graduate courses in logic. A sweeping chapter-wise outline of the content of this book is the following. The chapter 'Introduction'... Dynamic Epistemic Logic is the logic of knowledge change. This is not about one logical system, but about a whole family of logics that allows us t... |
|
cena:
391,77 zł |
Advances in Modal Logic Volume 10
ISBN: 9781848901513 / Angielski / Miękka / 2014 / 600 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. Modal logic is a subject with ancient roots in the western logical tradition. Up until the last few generations, it was pursued mainly as a branch of philosophy. But in recent years, the subject has taken new directions with connections to topics in computer science and mathematics. This volume is the proceedings of the conference of record in its fi eld, Advances in Modal Logic. Its contributions are state-of-the-art papers. The topics include decidability and complexity results for specifi c modal logics, proof theory of modal logic, logics for reasoning about time and space, provability...
Modal logic is a subject with ancient roots in the western logical tradition. Up until the last few generations, it was pursued mainly as a branch of ...
|
|
cena:
161,93 zł |
One Hundred Prisoners and a Light Bulb
ISBN: 9783319166933 / Angielski / Miękka / 2015 / 188 str. Termin realizacji zamówienia: ok. 20 dni roboczych. A group of 100 prisoners, all together in the prison dining area, are told that they will be all put in isolation cells and then will be interrogated one by one in a room containing a light with an on/off switch. The prisoners may communicate with one another by toggling the light switch (and that is the only way in which they can communicate). The light is initially switched off. There is no fixed order of interrogation, or interval between interrogations, and the same prisoner may be interrogated again at any stage. When interrogated, a prisoner can either do nothing, or toggle the... A group of 100 prisoners, all together in the prison dining area, are told that they will be all put in isolation cells and then will be interro... |
|
cena:
78,32 zł |