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
The best new science-fiction books of June 2026
2
Pancreatic cancer halted by virus injection in three patients
3
Does gravity create reality? A shocking path to a theory of everything
4
Glaciers in the 'roof of the world' have suddenly started melting
5
Photons behave very strangely if you try to cut them
6
Millions of planets might form around supermassive black holes
7
The ‘doomsday’ glacier’s giant ice shelf is about to break away
8
How a radical new view of life could reveal its origin – and aliens
9
Why autism pioneer Uta Frith wants to dismantle the spectrum
10
'The book is in the future, but everything is seeded from our present'
