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 New Scientist
Explore the latest news, articles and features
Popular articles
Trending New Scientist articles
1
Fully autonomous drones have killed human soldiers for the first time
2
How to sparkle in conversation with strangers
3
Toy universe shows that time could be a quantum illusion
4
Why we should all take quantum physics extremely personally
5
The last-ditch plan to save coral reefs from utter destruction
6
El Niño has started and the weather could get weird
7
Unpicking endometriosis reveals how it affects more than the pelvis
8
Dinosaur-killing asteroid impact site stayed hot for millions of years
9
Understanding anorexia’s grip on the brain could unlock new therapies
10
The one film to watch before seeing Steven Spielberg’s Disclosure Day
