-
1
-
-
38249042370
-
Henkin quantifiers and complete problems
-
Blass, A. and Gurevich, Y., 1986, "Henkin quantifiers and complete problems," Annals of Pure and Applied Logic 32, 1-16.
-
(1986)
Annals of Pure and Applied Logic
, vol.32
, pp. 1-16
-
-
Blass, A.1
Gurevich, Y.2
-
3
-
-
33751517515
-
Dynamic predicate logic
-
Groenendijk, J. and Stokhof, M., 1991, "Dynamic predicate logic," Linguistics and Philosophy 14, 39-100.
-
(1991)
Linguistics and Philosophy
, vol.14
, pp. 39-100
-
-
Groenendijk, J.1
Stokhof, M.2
-
4
-
-
0010744182
-
Some remarks on infinitary long formulas
-
Oxford: Pergamon Press
-
Henkin, L., 1961, "Some remarks on infinitary long formulas," pp. 167-183 in Infinitistic Methods, Oxford: Pergamon Press.
-
(1961)
Infinitistic Methods
, pp. 167-183
-
-
Henkin, L.1
-
6
-
-
67349147475
-
Informational independence as a semantical phenomenon
-
J.E. Fenstad, I.T. Frolov, and R. Hilpinen, eds., Amsterdam: Elsevier
-
Hintikka, J. and Sandu, G., 1989, "Informational independence as a semantical phenomenon," pp. 571-589 in Logic, Methodology and Philosophy of Science VIII, J.E. Fenstad, I.T. Frolov, and R. Hilpinen, eds., Amsterdam: Elsevier.
-
(1989)
Logic, Methodology and Philosophy of Science VIII
, pp. 571-589
-
-
Hintikka, J.1
Sandu, G.2
-
7
-
-
0001937939
-
Game-theoretical semantics
-
A. ter Meulen and J. van Benthem, eds., Amsterdam: Elsevier
-
Hintikka, J. and Sandu, G., 1997, "Game-theoretical semantics," pp. 361-410 in Handbook of Logic and Language, A. ter Meulen and J. van Benthem, eds., Amsterdam: Elsevier.
-
(1997)
Handbook of Logic and Language
, pp. 361-410
-
-
Hintikka, J.1
Sandu, G.2
-
8
-
-
0001604589
-
Compositional semantics for a language of imperfect information
-
Hodges, W., 1997a, "Compositional semantics for a language of imperfect information," Journal of the IPGL 5, 539-563.
-
(1997)
Journal of the IPGL
, vol.5
, pp. 539-563
-
-
Hodges, W.1
-
9
-
-
0007389725
-
Some strange quantifiers
-
J. Mycielski, G. Rozenberg, and A. Salomaa, eds., Lecture Notes in Computer Science, Berlin: Springer-Verlag
-
Hodges, W., 1997b, "Some strange quantifiers," pp. 51-65 in Structures in Logic and Computer Science, J. Mycielski, G. Rozenberg, and A. Salomaa, eds., Lecture Notes in Computer Science, Vol. 1261, Berlin: Springer-Verlag.
-
(1997)
Structures in Logic and Computer Science
, vol.1261
, pp. 51-65
-
-
Hodges, W.1
-
10
-
-
38549119358
-
Compositionality is not the problem
-
Hodges, W., 1998, "Compositionality is not the problem," Logic and Logical Philosophy 6, 7-33.
-
(1998)
Logic and Logical Philosophy
, vol.6
, pp. 7-33
-
-
Hodges, W.1
-
11
-
-
1642272576
-
Formal features of compositionality
-
Hodges, W., 2001, "Formal features of compositionality," Journal of Logic, Language, and Information 10, 7-28.
-
(2001)
Journal of Logic, Language, and Information
, vol.10
, pp. 7-28
-
-
Hodges, W.1
-
12
-
-
0013385757
-
Compositionality
-
A. ter Meulen and J. van Benthem, eds., Amsterdam: Elsevier
-
Janssen, Th., 1997, "Compositionality," pp. 417-473 in Handbook of Logic and Language, A. ter Meulen and J. van Benthem, eds., Amsterdam: Elsevier.
-
(1997)
Handbook of Logic and Language
, pp. 417-473
-
-
Janssen, Th.1
-
13
-
-
85039159351
-
Game quantification
-
J. Barwise and S. Feferman, eds., New York: Springer-Verlag
-
Kolaitis, Ph., 1985, "Game quantification," pp. 365-421 in Model-Theoretic Logics, J. Barwise and S. Feferman, eds., New York: Springer-Verlag.
-
(1985)
Model-Theoretic Logics
, pp. 365-421
-
-
Kolaitis, Ph.1
-
14
-
-
0009220941
-
Henkin quantifiers
-
M. Krynicki, M. Mostowski, and L.W. Szczerba, eds., Dordrecht: Kluwer Academic Publishers
-
Krynicki, M. and Mostowski, M., 1995, "Henkin quantifiers," pp. 193-262 in Quantifiers: Logics, Models, and Computation, M. Krynicki, M. Mostowski, and L.W. Szczerba, eds., Dordrecht: Kluwer Academic Publishers.
-
(1995)
Quantifiers: Logics, Models, and Computation
, pp. 193-262
-
-
Krynicki, M.1
Mostowski, M.2
-
15
-
-
84981440297
-
Partially ordered connectives
-
Sandu, G. and Väänanen, J., 1992, "Partially ordered connectives," Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 38, 361-372.
-
(1992)
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik
, vol.38
, pp. 361-372
-
-
Sandu, G.1
Väänanen, J.2
-
16
-
-
34248748636
-
On mathematical proofs of the vacuity of compositionality
-
Westerståhl, D., 1998, "On mathematical proofs of the vacuity of compositionality," Linguistics and Philosophy 21, 635-643.
-
(1998)
Linguistics and Philosophy
, vol.21
, pp. 635-643
-
-
Westerståhl, D.1
-
17
-
-
0001675084
-
From compositional to systematic semantics
-
Zadrozny, W., 1994, "From compositional to systematic semantics," Linguistics and Philosophy 17, 329-342.
-
(1994)
Linguistics and Philosophy
, vol.17
, pp. 329-342
-
-
Zadrozny, W.1
|