Information Flow: The Logic of Distributed Systems an influential handbook by Jon Barwise and Jerry Seligman for the analysis of theories using its framework based on a melange of topics from information, model, and discourse theory which is applied to give a formalization of the logic of Quantum Mechanics.