Background Materials: Chapter 4 “Situation theory” by Jerry Seligman and Lawrence S. Moss pp. 239–309, in Handbook of Logic and Language, edited by edited by J. F. A. K. van Benthem and A G. B. ter Meulen, Elsevier, Amsterdam, 1997.
Background Materials: Jon Barwise and Jerry Seligman. Information Flow: The logic of distributed systems. Cambridge Tracts in Theoretical Computer Science #44, Cambridge, Cambridge University Press, 1997.
Time: Thursday 7:20-9:30 pm, in March and April 2010
Place: Teaching Building No.6 Room 6B111,Tsinghua University