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 91av
Explore the latest news, articles and features
Popular articles
Trending 91av articles
1
We have figured out a new way to send messages into the past
2
Why the keto diet could be a revolutionary way to treat mental illness
3
Human heads have changed shape a lot in the past 100 years
4
Is consciousness more fundamental to reality than quantum physics?
5
NHS England rushes to hide software over AI hacking fears
6
The 4 biggest myths about hydration, according to an expert
7
Thought-provoking photographs capture what it feels like to have ADHD
8
100-year-old assumption about the universe may soon be overturned
9
An unorthodox version of quantum theory could reveal what reality is
10
We may finally have a cure for many different autoimmune conditions
