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
We've found a mysterious substance on Titan and Pluto
2
Most portable air conditioners suck – but there's an easy fix
3
Remarkable fossils rewrite the story of how animals conquered the land
4
Almost the whole of Japan moved eastward after 2011 earthquake
5
A quantum state that lasts forever may finally be within our grasp
6
Faecal transplant makes the brains of old mice act young again
7
Chilling the body with drugs could limit brain damage from stroke
8
Fully autonomous drones have killed human soldiers for the first time
9
Mysterious ‘cold blob’ in the Atlantic suggests the AMOC is weakening
10
These are the extinct humans that live on in your DNA
