-
1
-
-
0002666456
-
Basic Modal Logic
-
D. Gabbay and F. Guenthner (eds.), Extensions of Classical Logic, Dordrecht: Reidel
-
Bull, R. A. and K. Segerberg (1984), "Basic Modal Logic," in D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, vol. 2: Extensions of Classical Logic, Dordrecht: Reidel, 1-88.
-
(1984)
Handbook of Philosophical Logic
, vol.2
, pp. 1-88
-
-
Bull, R.A.1
Segerberg, K.2
-
4
-
-
0012944008
-
Philosophical Perspectives on Quantification in Tense and Modal Logic
-
D. Gabbay and F. Guenthner (eds.), Extensions of Classical Logic, Dordrecht: Reidel
-
Cocchiarella, N. (1984), "Philosophical Perspectives on Quantification in Tense and Modal Logic," in D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, vol. 2: Extensions of Classical Logic, Dordrecht: Reidel, 309-54.
-
(1984)
Handbook of Philosophical Logic
, vol.2
, pp. 309-354
-
-
Cocchiarella, N.1
-
6
-
-
60949253852
-
Logical Consequence and Logical Expressions
-
Gomez-Torrente, M. (2003), "Logical Consequence and Logical Expressions", Theoria,
-
(2003)
Theoria
-
-
Gomez-Torrente, M.1
-
7
-
-
71049118173
-
Standard vs. Nonstandard Logic: Higher-Order, Modal, and First-Order Logics
-
E. Agazzi (ed.), Dordrecht: Reidel
-
Hintikka, J. (1980), "Standard vs. Nonstandard Logic: Higher-Order, Modal, and First-Order Logics," in E. Agazzi (ed.), Modern Logic-A Survey, Dordrecht: Reidel, 183-96.
-
(1980)
Modern Logic-A Survey
, pp. 183-196
-
-
Hintikka, J.1
-
8
-
-
33748188403
-
The Fallacies of the New Theory of Reference
-
Hintikka, J. and G. Sandu (1995), "The Fallacies of the New Theory of Reference," Synthese, vol. 104, 245-83.
-
(1995)
Synthese
, vol.104
, pp. 245-283
-
-
Hintikka, J.1
Sandu, G.2
-
9
-
-
79954229492
-
Provability in Logic, Acta Universitatis Stockholmensis, Almqvist and Wiksell, Stockholm
-
Ghita Holmstróm-Hintikka, Sten Lindström, and Rysiek Sliwinski (eds.), Dordrecht: Kluwer
-
Kanger, S. (1957), Provability in Logic, Acta Universitatis Stockholmensis, Almqvist and Wiksell, Stockholm; also in Ghita Holmstróm-Hintikka, Sten Lindström, and Rysiek Sliwinski (eds.), Collected Papers of Stig Kanger with Essays on his Life and Work, volume 1, Synthese Library volume 303, Dordrecht: Kluwer, 2001.
-
(1957)
Collected Papers of Stig Kanger with Essays on his Life and Work, volume 1, Synthese Library
, vol.303
-
-
Kanger, S.1
-
11
-
-
0002977725
-
A Completeness Theorem in Modal Logic
-
Kripke, S. (1959), "A Completeness Theorem in Modal Logic," The Journal of Symbolic Logic, vol. 24, 1-24.
-
(1959)
The Journal of Symbolic Logic
, vol.24
, pp. 1-24
-
-
Kripke, S.1
-
13
-
-
60949190760
-
Kanger's Early Semantics for Modal Logic
-
P. W. Humphreys and J. H. Fetzer (eds.), Dordrecht: Kluwer
-
Lindström, S. (1998), "Kanger's Early Semantics for Modal Logic," in P. W. Humphreys and J. H. Fetzer (eds.), The New Theory of Reference: Marcus, Kripke, and Its Origins, Dordrecht: Kluwer, 203-33.
-
(1998)
The New Theory of Reference: Marcus, Kripke, and Its Origins
, pp. 203-233
-
-
Lindström, S.1
-
14
-
-
2342595341
-
On the Syntactical Construction of Systems of Modal Logic
-
McKinsey, J. C. C. (1945), "On the Syntactical Construction of Systems of Modal Logic," The Journal of Symbolic Logic, vol. 10, 83-94.
-
(1945)
The Journal of Symbolic Logic
, vol.10
, pp. 83-94
-
-
McKinsey, J.C.C.1
|