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 51¶¯Âþ
Explore the latest news, articles and features
Popular articles
Trending 51¶¯Âþ articles
1
Mathematicians stunned by AI's biggest breakthrough in mathematics yet
2
Photos reveal unexpected details from the world's first atomic test
3
The Selfish Gene at 50: Why Dawkins’s evolution classic still holds up
4
How I used psychology to come back from the worst year of my life
5
The distant world that is our best hope of finding alien life
6
The ‘doomsday’ glacier’s giant ice shelf is about to break away
7
Epic dreaming is leaving people exhausted and distressed
8
The 3 things you need to know about protein, according to an expert
9
Putting CO2 into rocks and getting hydrogen out is climate double win
10
Women’s better memories may delay Alzheimer’s diagnosis by years
