-
2
-
-
33751517515
-
Dynamic predicate logic
-
1.1, 1.2, 7
-
Groenendijk, J., and M. Stokhof, “Dynamic predicate logic,” Linguistics and Philosophy, vol. 14 (1991), pp. 39-100. 1.1, 1.2, 7.
-
(1991)
Linguistics and Philosophy
, vol.14
, pp. 39-100
-
-
Groenendijk, J.1
Stokhof, M.2
-
3
-
-
0003749765
-
-
Ph.D. thesis, University of Massachusetts, Amherst
-
Heim, I., The Semantics of Definite and Indefinite Noun Phrases, Ph.D. thesis, University of Massachusetts, Amherst, 1982. 1.1.
-
(1982)
The Semantics of Definite and Indefinite Noun Phrases
, vol.1
, pp. 1
-
-
Heim, I.1
-
4
-
-
0000904656
-
-
Meaning, Use and Interpretation of Language, edited by R. Bäuerle, C. Schwarze, and A. von Stechow, De Gruyter, Berlin, 1.1, 3.1
-
Heim, I., “File change semantics and the familiarity theory of definiteness,” pp. 164-189 in Meaning, Use and Interpretation of Language, edited by R. Bäuerle, C. Schwarze, and A. von Stechow, De Gruyter, Berlin, 1983. 1.1, 3.1.
-
(1983)
File Change Semantics and the Familiarity Theory of Definiteness
, pp. 164-189
-
-
Heim, I.1
-
5
-
-
85035264360
-
-
Gödel, Esher, Bach: An Eternal Golden Braid, Basic Books, New York
-
Hofstadter, D. R., Gödel, Esher, Bach: An Eternal Golden Braid, Basic Books, New York, 1979. 7.
-
(1979)
, pp. 7
-
-
Hofstadter, D.R.1
-
6
-
-
85035289773
-
Counting variables in a dynamic setting
-
Department of Philosophy, Utrecht University, December
-
Hollenberg, M., and C. F. M. Vermeulen, “Counting variables in a dynamic setting,” Logic Group Preprint Series LGPS-125, Department of Philosophy, Utrecht University, December 1994. 6.1, 7.
-
(1994)
Logic Group Preprint Series LGPS-125
, vol.6
, Issue.1
, pp. 7
-
-
Hollenberg, M.1
Vermeulen, C.F.M.2
-
7
-
-
0009311766
-
-
Ph.D. thesis, Catholic University Nijmegen
-
Jacobs, B. P. F., Categorical Type Theory, Ph.D. thesis, Catholic University Nijmegen, 1991. 4.
-
(1991)
Categorical Type Theory
, pp. 4
-
-
Jacobs, B.P.F.1
-
8
-
-
0001225163
-
A theory of truth and semantic representation
-
edited by J. Groenendijk et al., Mathematisch Centrum, Amsterdam
-
Kamp, H., “A theory of truth and semantic representation,” pp. 277-322 in Formal Methods in the Study of Language, edited by J. Groenendijk et al., Mathematisch Centrum, Amsterdam, 1981.
-
(1981)
Formal Methods in the Study of Language
, pp. 277-322
-
-
Kamp, H.1
-
9
-
-
0004286770
-
-
Kluwer, Dordrecht, 1.2, 7
-
Kamp, H., and U. Reyle, From Discourse to Logic, vol. I, II, Kluwer, Dordrecht, 1993. 1.2, 7.
-
(1993)
From Discourse to Logic
, vol.1
, Issue.2
-
-
Kamp, H.1
Reyle, U.2
-
11
-
-
0003507355
-
-
Academic Press, New York
-
Manes, E., and M. Arbib, Arrows, Structures and Functors: the Categorical Imperative, Academic Press, New York, 1975.
-
(1975)
Arrows, Structures and Functors: The Categorical Imperative
-
-
Manes, E.1
Arbib, M.2
-
12
-
-
4644297471
-
Dynamics, dependency grammar and incremental interpretation
-
Milward, D., “Dynamics, dependency grammar and incremental interpretation,” pp. 1095-1099 in Proceedings of COLING 92, 1992.
-
(1992)
Proceedings of COLING 92
, pp. 1095-1099
-
-
Milward, D.1
-
13
-
-
0037652566
-
Dynamic dependency grammar
-
Milward, D., “Dynamic dependency grammar,” Linguistics and Philosophy, vol. 17 (1994), pp. 561-606.
-
(1994)
Linguistics and Philosophy
, vol.17
, pp. 561-606
-
-
Milward, D.1
-
14
-
-
85035270478
-
Adjacency, dependency and order, pp. 447-466 in Proceedings of 9th Amsterdam Colloquium
-
Moortgat, M. J., and R. Oehrle, “Adjacency, dependency and order,” pp. 447-466 in Proceedings of 9th Amsterdam Colloquium, ILLC Publications, 1994. 2.4.
-
(1994)
ILLC Publications
, vol.2
, pp. 4
-
-
Moortgat, M.J.1
Oehrle, R.2
-
15
-
-
85030849344
-
Action logic and pure induction
-
edited by J. van Eijck, Springer, Berlin
-
Pratt, V., “Action logic and pure induction,” pp. 97-120 in Logics in AI — European Workshop JELIA’90, edited by J. van Eijck, Springer, Berlin, 1991.
-
(1991)
Logics in AI — European Workshop JELIA’90
, pp. 97-120
-
-
Pratt, V.1
-
17
-
-
52549123735
-
Defaults in update semantics
-
edited by H. Kamp, Dyana Deliverable R2.5A, Edinburgh
-
Veltman, F., “Defaults in update semantics,” pp. 28-65 in Conditionals, Defaults and Belief Revision, edited by H. Kamp, Dyana Deliverable R2.5A, Edinburgh, 1991.
-
(1991)
Conditionals, Defaults and Belief Revision
, pp. 28-65
-
-
Veltman, F.1
-
18
-
-
85035282763
-
Merging without mystery, variables in dynamic semantics
-
forthcoming in
-
Vermeulen, C. F. M., “Merging without mystery, variables in dynamic semantics,” forthcoming in Journal of Philosophical Logic.
-
Journal of Philosophical Logic
-
-
Vermeulen, C.F.M.1
-
19
-
-
9544223933
-
Sequence semantics for dynamic predicate logic
-
Vermeulen, C. F. M., “Sequence semantics for dynamic predicate logic,” Journal of Logic, Language and Information, vol. 2 (1993), pp. 217-254.
-
(1993)
Journal of Logic, Language and Information
, vol.2
, pp. 217-254
-
-
Vermeulen, C.F.M.1
-
20
-
-
84935470753
-
Lazy and quarrelsome brackets
-
Utrecht University, November
-
Visser, A., “Lazy and quarrelsome brackets,” Logic Group Preprint Series 82, Department of Philosophy, Utrecht University, November, 1992. 7.
-
(1992)
Logic Group Preprint Series 82, Department of Philosophy
, pp. 7
-
-
Visser, A.1
-
21
-
-
51349108503
-
Actions under presuppositions
-
edited by J. van Eijck and A. Visser, MIT Press, Cambridge
-
Visser, A., “Actions under presuppositions,” pp. 196-233 in Logic and Information Flow, edited by J. van Eijck and A. Visser, MIT Press, Cambridge, 1994.
-
(1994)
Logic and Information Flow
, pp. 196-233
-
-
Visser, A.1
-
22
-
-
84935489988
-
A compositional approach to DRT
-
1.2
-
Zeevat, H., “A compositional approach to DRT,” Linguistics and Philosophy, vol. 12 (1991), pp. 95-131. 1.2.
-
(1991)
Linguistics and Philosophy
, vol.12
, pp. 95-131
-
-
Zeevat, H.1
|