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
Environment
Evocative photos of Canadian Arctic win New Scientist Editors Award
Regulars
Environment
June heatwave may have killed around 20,000 people in Europe
News
Physics
Random wobbles in time could finally solve gravity’s greatest mystery
News
Life
Synthetic biology may finally be ready to solve life's biggest mystery
Leader
Popular articles
Trending New Scientist articles
1
Humans sleep the least of all apes – is it the secret to our success?
2
Random wobbles in time could finally solve gravity’s greatest mystery
3
A type of fibre that stimulates GLP-1 release approved for use in food
4
The 4 must-watch science-fiction films of the year so far
5
The world's fastest spider tops 3.5 metres per second
6
The race to understand how and when Thwaites glacier will collapse
7
Remote-controlled cockroach swarm can now breathe underwater
8
June heatwave may have killed around 20,000 people in Europe
9
Slowdown of AMOC ocean current may be gradual and reversible
10
What is 'SpudCell'? Arguably the greatest bioengineering feat yet
