%%%%%
%%%%%  THIS FILE MUST BE CALLED st-references.tex
%%%%%

\documentstyle[basics,enumsentence,amssymbols,st]{article}

\begin{document}
\section*{References}

P.~Aczel, D.~Israel, Y.~Katagiri, and S.~Peters (eds.)
{\bf Situation Theory and Its Applications}, vol. 3.
CSLI Lecture Notes~37, Stanford, 1993.
(STA 3)

P.~Aczel, ``Frege Structures and the Notion of Proposition,
Truth, and Set''.  In J.~Barwise (ed),
{\bf The Kleene Symposium}, North Holland, 1980.


P.~Aczel, ``Replacement Systems and the Axiomatization
of Situation Theory'' in STA 1.

P.~Aczel and R.~Lunnon (1990), ``Universes and Paramaters'' in STA 2.

J.~L.~Autsin, {\bf Truth}, 
in J.~O.~Urmson and G.~J.~Warnok (eds.)
{\bf Philosophical Papers}, Oxford, 1961.

J.~Barwise, ``Notes on Branchpoints in
Situation Theory''.  In Barwise (1989).



J.~Barwise, (1989a)
{\bf The Situation in Logic}, 
CSLI Lecture Notes 17, CSLI, 1989.

J.~Barwise (1989b), ``Situations, Facts, and True Propositions''. 
 In Barwise (1989a).



J.~Barwise (1989c)
``On the Model Theory of Common Knowledge''.
in Barwise (1989).

J.~Barwise et al (eds.),
{\bf Situation Theory and its Applications}, vol. 2.
CSLI Lecture notes 26, CSLI, 1990.
(STA 2)

J.~Barwise and R.~Cooper,``Simple situation theory
and its graphical representation''.  Indiana University
Logic Group Preprint IULG-91-8.  Also reprinted
in Seligman (1991)

J.~Barwise and R.~Cooper,``Extended Kamp Notation:
a graphical notation for situation theory''  in STA 3.

J.~Barwise and J.~Etchemendy, 
{\bf The Liar: An Essay in Truth and Circularity}.
Oxford University Press, 	1987.

J.~Barwise and L.~S.~Moss, 
{\bf Vicious Circles: On the Mathematics of Non-Wellfounded
Phenomena}.  CSLI Publications, 1996.

J.~Barwise and J.~Perry, 
{\bf Situations and Attitudes}.
MIT  Press, Cambridge, MA 	1983.

J.~Barwise and J.~Seligman,
{\bf Information Flow in Distributed
Systems}, Cambridge University Press, to appear.   


Richard Cooper,
``Persistence and Structural Determination''.
In STA 2.


R.~Cooper et al (eds.),
{\bf Situation Theory and its Applications}, vol. 1.
CSLI Lecture notes 22, CSLI, 1991.
(STA 2)

R.~Cooper, 
``Three lectures on situation theoretic grammar'', 
in M. Filigueiras et al (eds),
Natural Language Processing: EAIA 90 Proceedings.  Lecture
Notes in Artificial Intelligence, no. 476,
Springer Verlag, 1991, 101--140.

D.~Davidson, ``Truth and Meaning''. 
Synthese 17, 1967, 304--323. 

K.~J.~Devlin, Logic and Information.
Cambridge University Press, 1991.

K.~J.~Devlin, K. and D.~Rosenberg, ``Situation theory and cooperative
       action'' in STA 3.

F.~Dretske, {\bf Knowledge and the Flow of Information}.
MIT Press, Cambridge, MA,  1981.
 
E.~Engdahl, ``Argument Roles and Anaphora'',
in STA 1.

J.~E.~Fenstad, P.-K.~Halvorsen, T.~Langholm,
and J.~van Benthem, 
{\bf Situations,  Language and Logic}.
Dordrecht: Reidel, 1987.

T.~Fernando, ``On the Logic of Situation Theory'',
in STA I.

M.~Gawron and S.~Peters, 
{\bf Anaphora and Quantification in Situation Semantics},
CSLI Leture Notes 19, 1990.

D.~Israel and J.~Perry, `` What is information?
in P.~P.~Hanson (ed.) {\bf Information,  Language, and Cognition},
Vol.~1, Vancouver Studies in Cognitive Science, University
of Brittish Columbia Press, Vancouver, 1990.



D.~Israel and J.~Perry, ``Information and Architecture''
in STA 2.

D.~Lewis, ``Scorekeeping in a language game''.
In D.~Lewis (1983).

D.~Lewis, ``General semantics'', in D.~Lewis (1983).

D.~Lewis,
 {\em Philosophical Papers}, vol.~1.
Oxford University Press, Oxford.   233--249, 1983.



R.~Lunnon, ``A theory of sets and functions,''
to appear in the Journal of Symbolic Logic.

D. Makinson,   ``General Non-Monotonic Logic'', UNESCO, Paris.
        Appeared as a chapter in D. Gabbay, C. Hogger & J. Robinson,
        eds., 1994, Handbook of Logic in Artificial Intelligence and
        Logic Programming, vol. III, Oxford University Press,
        Oxford, 35-110.



A.~ter Meulen,
Representing Time  in Natural Language. The dynamic
interpretation of tense and aspect.
Bradford Books, MIT Press, Cambridge (MA), 1995.

R.~Muskens, Meaning  and Partiality.
Studies in Logic Language and Information, CSLI
Press, 1995.


J.~Perry, ``The problem of the essential indexical''.
Nous 13, 3--21, 1979.  Reprinted in Perry (1993).


J.~Perry, {\bf The Essential Indexical and Other Essays}.
 Oxford University Press,  New York, 1993.


G.~Plotkin, ``An Illative Theory of Relations'',
in STA 1.

W.~C.~Rounds, ``Situation Theoretic Aspects of Databases,''
in STA 2.

P.~Ruhrburg (1994), ``A simultaneous abstraction calculus''
In R.~Cooper and J.~Groenendijk (eds.),
{\em Integrating Semantic Theories II}, 
DYNA-2 Report R2.1.B, 1994.



J.~Seligman, ``Perspectives in Situation Theory'' (1991),
in STA 1.

J.~Seligman (ed.) {\bf Partial and Dynamic Semantics  III},
DYANA Deliverable R@.1.C, Centre for Cognitive Science,
University of Edinburgh, 1991.


J.~Seligman, `` The logic of correct description'',
unpublished manuscript,  to appear.


J.~Seligman et al (eds.),
{\bf Information Theoretic Approaches to Logic, Language,
and Inforamation}.  CSLI, to appear.

J.~Seligman and A.~ter Meulen,
``Dynamic aspect trees.'' in K.~Bimbo (ed.)
{\bf 3rd Hungarian Workshop on Logic and Linguistics},
Budapest Academy of Sciences, 199-234, 1993.

E.~Tin and V.~Akman, ``BABY-SIT: A computational medium based on
situations,'' in P.~Dekker and M.~Stokhof (eds.)
{\em Proceedings of the 9th Amsterdam Colloquium},
ILLC, University of Amsterdam, 665--681. 1993.

E.~Tin, V.~Akman, and M~.Ersan,
``Towards situation-oriented programming languages,''
ACM Sigplan Notices 30 (1), 27--36, 1995.


D.~Westerst{\aa}hl (1990), ``Parametric Types and Propositions
in First-Order Situation Theory'', in STA 1.


E.~Zalta, ``A Theory of Situations'', in STA 2.


\end{document}