Information flow : the logic of distributed systems /

Bibliographic Details
Main Author: Barwise, Jon
Other Authors: Seligman, Jerry
Format: Book
Published: Cambridge : Cambridge University Press, 1997.
Series:Cambridge Tracts in Theoretical Computer Science ; 44
Subjects:
Table of Contents:
  • Information flow. Information channels. A simple distributed system. Classifications and infomorphisms. Operations on classifications. Distributed systems. Boolean operations and classifications. State spaces. Regular theories. Operations on theories. Boolean operations and theories. Local logics. Reasoning at a distance. Representing local logics. Distributed logics. Logics and state spaces. Speech acts. Vagueness. Commonsense reasoning. Representation. Quantum logic