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 Å®ÉúСÊÓƵ
Explore the latest news, articles and features
Life
We may finally know why dinosaurs like T. rex evolved tiny arms
News
Space
The distant world that is our best hope of finding alien life
Features
Environment
Solar farm on the ocean outperforms land-based solar in Taiwan
News
Environment
Wind-assisted cargo ships could more than halve shipping emissions
News
Popular articles
Trending New Å®ÉúСÊÓƵ articles
1
The ‘doomsday’ glacier’s giant ice shelf is about to break away
2
Mystery of the ancient giant stone jars of Laos may have been solved
3
How I used psychology to come back from the worst year of my life
4
The distant world that is our best hope of finding alien life
5
Why autism pioneer Uta Frith wants to dismantle the spectrum
6
Solar farm on the ocean outperforms land-based solar in Taiwan
7
We may finally know why dinosaurs like T. rex evolved tiny arms
8
Himalayan wolf-dog hybrids emerge as a threat to wolves and people
9
The 3 things you need to know about protein, according to an expert
10
Wind-assisted cargo ships could more than halve shipping emissions
