Information Flow : The Logic of Distributed Systems (Hardcover)

Preface; Part I. Introduction: 1. Information flow: a review; 2. Information channels: an overview; 3. A simple distributed system; Part II. Channel Theory: 4. Classifications and infomorphisms; 5. Operations on classifications; 6. Distributed systems; 7. Boolean operations and classifications; 8. State spaces; 9. Regular theories; 10. Operations on theories; 11. Boolean operations and theories; 12. Local logics; 13. Reasoning at a distance; 14. Representing local logics; 15. Distributed logics; 16. Logics and state spaces; Part III. Explorations: 17. Speech acts; 18. Vagueness; 19. Common sense reasoning; 20. Representation; 21. Quantum logic; Answers to selected exercises; Bibliography; Glossary of notation; Index of definitions; Index of names.