Alternatively, you could try Reasoning About Knowledge by Ronald Fagin,
Joseph Halpern, Yoram Moses and Moshe Vardi (MIT Press, £38.50/$45,
ISBN 0 262 06162 7). It treats some classes of system with a terrifying rigour.
The examples deal with muddy children and Byzantine computer bugs: you will need
an excellent teacher to navigate the forest of notation; and if you are the
teacher, start reading now . . .
More from Â鶹´«Ã½
Explore the latest news, articles and features
Popular articles
Trending Â鶹´«Ã½ articles
1
Are Neanderthals descendants of modern humans?
2
Collapse of key ocean current may release billions of tonnes of carbon
3
Exclusive report: Inside Chernobyl, 40 years after nuclear disaster
4
Beef is making a comeback – does it fit into a healthy diet?
5
Why is it so hard to change your mind?
6
The biggest threat to Chernobyl is no longer radiation
7
How autoimmune conditions can unexpectedly drive mental illness
8
Electric vehicle owners could earn thousands by supporting power grid
9
Surprising male G-spot found in most detailed study of the penis yet
10
The rise, the fall and the rebound of cyclic cosmology
