1. [1] Barwise, J., and J. Etchemendy, Hyperproof, CSLI, Stanford, 1994.
2. [2] Barwise, J., and J. Etchemendy, ``Computers, visualization, and the nature of reasoning'', forthcoming in How Computers are Changing Philosophy, edited by T. W. Bynum and J. H. Moor, Blackwell, London.
3. [3] Barwise, J., and J. Seligman, Information Flow in Distributed Systems, Tracts in Theoretical Computer Science 44, Cambridge University Press, Cambridge, 1997.
4. [5] Dunn, M., ``Intuitive semantics for first-degree entailments and coupled trees,'' Philosophical Studies, vol. 29 (1976), pp. 149--68.
5. [7] Lewis, D., Counterfactuals, Harvard University Press, Cambridge, 1973.