Information States, Attitudes and Dialogue

[1]  Robin Cooper,et al.  A compositional situation semantics for attitude reports , 1996 .

[2]  Per Martin-Löf,et al.  Intuitionistic type theory , 1984, Studies in proof theory.

[3]  Jeroen Groenendijk,et al.  Dynamic predicate logic , 1991 .

[4]  Jerry Seligman.  Perspectives: a relativistic approach to the theory of information , 1991 .

[5]  S. Blackburn,et al.  Meaning and Use , 1979 .

[6]  N. Cocchiarella,et al.  Situations and Attitudes. , 1986 .

[7]  J. Ginzburg.  Interrogatives: questions, facts and dialogue , 1996 .

[8]  Saul A. Kripke,et al.  A Puzzle about Belief , 1979 .

[9]  Jon Barwise,et al.  Information Flow: The Logic of Distributed Systems , 1997 .

[10]  James S. Albertson.  Translations from the Philosophical Writings of Gottlob Frege , 1953 .

[11]  E. Van Gestel,et al.  Programming in Martin-Löf's Type Theory: an Introduction : Bengt Nordström, Kent Petersson and Jan M. Smith Intl. Series of Monographs on Computer Science, Vol. 7, Oxford Science Publications, Oxford, 1990, 231 pages , 1991 .

[12]  G. Frege.  Über Sinn und Bedeutung , 1892 .

[13]  Paul Dekker,et al.  Transsentential meditations : ups and downs in dynamic semantics , 1993 .

[14]  Uwe Reyle,et al.  From discourse to logic , 1993 .

[15]  Ivan A. Sag,et al.  Book Reviews: Head-driven Phrase Structure Grammar and German in Head-driven Phrase-structure Grammar , 1996, CL.

[16]  G. Jonathan,et al.  Dynamics and the Semantics of Dialogue , 1996 .

[17]  Johan van Benthem,et al.  Handbook of Logic and Language , 1996 .