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
Space
Mercury may have gained all of its unexpected water in a single day
News
Health
Experimental mRNA vaccine may protect against multiple Ebola viruses
News
Mind
Political anger affects the body differently to other forms of anger
News
Health
Australia is battling its largest diphtheria outbreak in living memory
News
Popular articles
Trending New ¾«¶«´«Ã½ 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
The ‘doomsday’ glacier’s giant ice shelf is about to break away
5
Mercury may have gained all of its unexpected water in a single day
6
How I used psychology to come back from the worst year of my life
7
The distant world that is our best hope of finding alien life
8
Mystery of the ancient giant stone jars of Laos may have been solved
9
We may finally know why dinosaurs like T. rex evolved tiny arms
10
Putting CO2 into rocks and getting hydrogen out is climate double win
