[1] K. Ajdukiewicz: Die syntaktische Konexitat. Studia Philosophica 1 (1935), 1 - 27.

[2] Y. Bar-Hillel: A quasi-arithmetical notation for syntactic description. Language XXIX (1953), 47-58. Zbl 0156.25402

[3] J. Barwise, J. Perry: Situations and Attitudes. MIT Press, Cambridge 1983.

[4] J. van Benthem: Categorial grammar and type theory. Linguist. Philos. (to appear). MR 1049297 | Zbl 0695.03016

[5J J. C Bigelow: Believing in semantics. Linguist. Philos. 2 (1978), 101-144.

[6] R. Carnap: Meaning and Necessity. Univ. of Chicago Press, Chicago 1957.

[7] G. Chierchia: Topics in the Syntax and Semantics of Infinitives and Gerunds. Ph. D. Dissertation, Univ. of Massachusets, Amherst 1984.

[8] C Casadio: Semantic categories and the development of categorial grammars. In: Categorial Grammars and Natural Language Structures (T. Oeherle et al., ed.). Reidel, Dordrecht 1988, 95-123.

[9] N. Chomsky: Syntactic Structures. Mouton, The Hague 1957.

[10] A. Church: A formulation of the simple theory of types. J. Symbolic Logic 5 (1940), 56 - 68. MR 0001931 | Zbl 0023.28901

[11] N. B. Cocchiarella: Conceptualism, realism and intensional Logic. Manuscript.

[12] H. B. Curry, R. Feys: Combinatory Logic. North Holland, Amsterdam 1957.

[13] D. Davidson: Essay on Actions and Events. Claredon Press, Oxford 1980.

[14] G. Frege: Begriffsschrift. Verlag von H. Nebert, Halle, Saale 1979.

[15] G. Frege: Funktion und Begriff. Ein Vortrag gehalten in der Sitzung vom 9. 1. 1981 der Jenaischen Gesellschaft fur Medizin und Naturwissenschaft. Reprinted in Logik Texte (K. Berka and L. Kreisel, eds.), Akademie-Verlag 1971.

[16] T. M. V. Janssen: Foundations and Applications of Montague Grammar. Mathematisch Centrum, Amsterdam 1983.

[17] J. G. Kemeny: Models of Logical Systems. J. Symbolic Logic 13 (1948). MR 0024400

[18] J. Lambek: The mathematics of sentence structure. Amer. Math. Monthly LXV (1958), 154-170. MR 0106170 | Zbl 0080.00702

[19] P. Materna: On understanding and believing. Prague Studies in Math. Lingustics 8 (1983), 211-218. MR 0833312 | Zbl 0565.03004

[20] R. Montague: Formal Philosophy: Selected Papers of R. M. (R. Thomasson, ed.), Yale Univ. Press, Yale 1974.

[21] T. Parsons: Underlaying events in the logical analysis of English. In: Actions and Events (E. LePore and B. P. McLaughlin, eds.), Blackwell 1985.

[22] J. Peregrin: A contribution to the theory of propositional attitudes. Prague Bulletin of Mathematical Linguistics 48 (1987), 13 - 36.

[23] J. Peregrin: Přirozený jazyk, PROLOG a ,,události'' (Natural Language, PROLOG and ,,events''). Proc. of the AT 88 Symposium, Prague 1988 (in Czech).

[24] J. Peregrin: Theory of types: good servant bad master. Prague Studies in Math. Lingustics (to appear).

[25] J. Peregrin: A formal theory of meaning. In preparation.

[26] D. Scott: Continuous lattices. In: Toposes, Algebraic Geometry and Logic (F. W. Lawrence, ed.), Springer-Verlag, Berlin 1972. MR 0404073 | Zbl 0239.54006

[27] P. Sgall E. Hajíčová, J. Panevová: The Meaning of the Sentence in its Semantic and Pragmatic Aspects. Academia, Prague 1986.

[28] M. J. Steedman: Combinators and grammars. In: Categorial Grammars and Natural Language Structures (T. Oeherle et al., eds.), Reidel, Dordrecht 1985, 417 - 442.

[29] A. Strigin: Logic for syntax. In: Proc. '87 Debrecen Symposium on Logic and Language (I. Ruzsa, A. Szabolcsi, eds.), Budapest 1987, pp. 163-170.

[30] P. Tichý: Logic of temporal discourse. Linguist. Philos. 3 (1980), 313-369.

[31] P. Tichý: Constructions. Philos. Sci. 55(1986), 514-543. MR 0869008

[32] R. Turner: Montague semantics, nominalization and Scott's domains. Linguist. Philos. 6 (1983), 259-288. MR 0800752 | Zbl 0522.03016