Reasoning About Knowledge
Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi
This is a good book, though it's hard to penetrate at times. It's comprehensive and you learn a lot going thru it slowly; my background is in economics/game theory so this contains a treatment of reasoning & knowledge one usually doesn't see in economics. My only -- and major -- gripe with the book is that it sometimes becomes very involved with a particular theorem/result without discussing why that is an interesting question/puzzle. As such, it's a great book when you already have motivation to learn this stuff and a puzzle to which you want to apply its techniques.
Ссылка удалена правообладателем
----
The book removed at the request of the copyright holder.