-
1
-
-
33645251972
-
Correction de la logique modale du premier et du second ordre S5
-
Bayart, A. (1958): Correction de la logique modale du premier et du second ordre S5 [Soundness of first and second order S5 modal logic], Logique et Analyse 1, 28-44.
-
(1958)
Logique et Analyse
, vol.1
, pp. 28-44
-
-
Bayart, A.1
-
2
-
-
33645246553
-
Quasi-adéquation de la logique modale du second ordre S5 et adéquation de la logique modale du premier ordre S5
-
Bayart, A. (1959): Quasi-adéquation de la logique modale du second ordre S5 et adéquation de la logique modale du premier ordre S5 [Quasi-completeness of second-order S5 modal logic and completeness of first-order S5 modal logic], Logique et Analyse 2, 99-121.
-
(1959)
Logique et Analyse
, vol.2
, pp. 99-121
-
-
Bayart, A.1
-
4
-
-
52649158438
-
A cancellation algorithm for elementary logic
-
Binkley, R. and Clark, R. (1967): A cancellation algorithm for elementary logic, Theoria 33, 79-97.
-
(1967)
Theoria
, vol.33
, pp. 79-97
-
-
Binkley, R.1
Clark, R.2
-
5
-
-
52649137289
-
A cancellation algorithm corrected
-
Binkley, R. and Clark, R. (1968): A cancellation algorithm corrected, Theoria 34, 85.
-
(1968)
Theoria
, vol.34
, pp. 85
-
-
Binkley, R.1
Clark, R.2
-
7
-
-
0041720442
-
Modalities and quantification
-
Carnap, R. (1946): Modalities and quantification, J. Symbolic Logic 11, 33-64.
-
(1946)
J. Symbolic Logic
, vol.11
, pp. 33-64
-
-
Carnap, R.1
-
9
-
-
33645249667
-
On the primary and secondary semantics of logical necessity
-
Cocchiarella, N. B. (1975): On the primary and secondary semantics of logical necessity, J. Philos. Logic 4, 13-27.
-
(1975)
J. Philos. Logic
, vol.4
, pp. 13-27
-
-
Cocchiarella, N.B.1
-
11
-
-
33646935632
-
On McKinsey's syntactical characterizations of systems of modal logic
-
Drake, F. R. (1962): On McKinsey's syntactical characterizations of systems of modal logic, J. Symbolic Logic 27, 400-406.
-
(1962)
J. Symbolic Logic
, vol.27
, pp. 400-406
-
-
Drake, F.R.1
-
12
-
-
52649096681
-
-
dissertation submitted towards the Degree of Doctor of Philosophy in the University of Cambridge
-
Drake, F. R. (1963): Syntactical models for modal logics, dissertation submitted towards the Degree of Doctor of Philosophy in the University of Cambridge.
-
(1963)
Syntactical Models for Modal Logics
-
-
Drake, F.R.1
-
14
-
-
52649131595
-
La transcription logistique du raisonnement: Son intérét et ses limites
-
Feys, R. (1924): La transcription logistique du raisonnement: son intérét et ses limites [The logistic transcription of reasoning: Its importance and its limits], Revue Neo-Scholastique de Philosophie (2nd series) 4, 299-324.
-
(1924)
Revue Neo-Scholastique de Philosophie (2nd Series)
, vol.4
, pp. 299-324
-
-
Feys, R.1
-
15
-
-
0039605765
-
-
Nauwelaerts, Louvain
-
Feys, R. (1965): Modal Logics, Nauwelaerts, Louvain.
-
(1965)
Modal Logics
-
-
Feys, R.1
-
16
-
-
33645259075
-
Stig Kanger in memoriam
-
D. Prawitz, B. Skyrms and D. Westerståhl (eds.), Elsevier, Amsterdam
-
Føllesdal, D. (1994): Stig Kanger in memoriam, in D. Prawitz, B. Skyrms and D. Westerståhl (eds.), Logic, Methodology and Philosophy of Science IX, Elsevier, Amsterdam.
-
(1994)
Logic, Methodology and Philosophy of Science IX
-
-
Føllesdal, D.1
-
17
-
-
33646934870
-
Rapports entre calculs propositionnels modaux et topologie impliqués par certaines extensions de la méthode des tableaux sémantiques: Système de Feys-von Wright
-
Guillaume, M. (1958a): Rapports entre calculs propositionnels modaux et topologie impliqués par certaines extensions de la méthode des tableaux sémantiques: système de Feys-von Wright [Relations between propositional modal calculi and topology implied by certain extensions of the semantic tableaux method: The Feys-von Wright system], C.R. Acad. Sci. Paris 246, 1140-1142.
-
(1958)
C.R. Acad. Sci. Paris
, vol.246
, pp. 1140-1142
-
-
Guillaume, M.1
-
18
-
-
52649175644
-
Rapports entre calculs propositionnels modaux et topologie impliqués par certaines extensions de la méthode des tableaux sémantiques: Système S4 de Lewis
-
Guillaume, M. (1958b): Rapports entre calculs propositionnels modaux et topologie impliqués par certaines extensions de la méthode des tableaux sémantiques: système S4 de Lewis [Relations between propositional modal calculi and topology implied by certain extensions of the semantic tableaux method: Lewis's system S4], C.R. Acad. Sci. Paris 246, 2207-2210.
-
(1958)
C.R. Acad. Sci. Paris
, vol.246
, pp. 2207-2210
-
-
Guillaume, M.1
-
19
-
-
0003426044
-
-
Hartshorne, C. and Weiss, P. (eds.) Harvard University Press, Cambridge, Mass.
-
Hartshorne, C. and Weiss, P. (eds.) (1932): Collected Papers of Charles Sanders Peirce, Vol. II: Elements of Logic, Harvard University Press, Cambridge, Mass.
-
(1932)
Collected Papers of Charles Sanders Peirce, Vol. II: Elements of Logic
, vol.2
-
-
-
20
-
-
0003426044
-
-
Hartshorne, C. and Weiss, P. (eds.) Harvard University Press, Cambridge, Mass.
-
Hartshorne, C. and Weiss, P. (eds.) (1933): Collected Papers of Charles Sanders Peirce, Vol. III: Exact Logic, Harvard University Press, Cambridge, Mass.
-
(1933)
Collected Papers of Charles Sanders Peirce, Vol. III: Exact Logic
, vol.3
-
-
-
22
-
-
0343946059
-
Form and content in quantification theory
-
fasc. VIII
-
Hintikka, K. J. J. (1955a): Form and content in quantification theory, Acta Philosophica Fennica, fasc. VIII, 7-55.
-
(1955)
Acta Philosophica Fennica
, pp. 7-55
-
-
Hintikka, K.J.J.1
-
23
-
-
85033643762
-
-
Societas Scientiarum Fennica, Commentationes Physico-Mathematicae, Helsinki
-
Hintikka, K. J. J. (1955b): Notes on Quantification Theory, Societas Scientiarum Fennica, Commentationes Physico-Mathematicae, Vol. 12, Helsinki.
-
(1955)
Notes on Quantification Theory
, vol.12
-
-
Hintikka, K.J.J.1
-
24
-
-
33645256685
-
-
Societas Scientiarum Fennica, Commentationes Humanarum Litterarum, Vol. 13.4, Helsinki
-
Hintikka, K. J. J. (1957a): Quantifiers in Deontic Logic, Societas Scientiarum Fennica, Commentationes Humanarum Litterarum, Vol. 13.4, Helsinki.
-
(1957)
Quantifiers in Deontic Logic
-
-
Hintikka, K.J.J.1
-
25
-
-
33646928257
-
Modality as referential multiplicity
-
Hintikka, K. J. J. (1957b): Modality as referential multiplicity, Ajatus 20, 49-64.
-
(1957)
Ajatus
, vol.20
, pp. 49-64
-
-
Hintikka, K.J.J.1
-
26
-
-
84995186352
-
Modality and quantification
-
Hintikka, K. J. J. (1961): Modality and quantification, Theoria 27, 119-128.
-
(1961)
Theoria
, vol.27
, pp. 119-128
-
-
Hintikka, K.J.J.1
-
27
-
-
33645252105
-
Review of Kanger 1957b
-
Hintikka, K. J. J. (1969): Review of Kanger 1957b, J. Symbolic Logic 34, 305-306.
-
(1969)
J. Symbolic Logic
, vol.34
, pp. 305-306
-
-
Hintikka, K.J.J.1
-
30
-
-
0001521953
-
Boolean algebras with operators, Part I
-
Jónsson, B. and Tarski, A. (1951): Boolean algebras with operators, Part I, Amer. J. Math. 73, 891-939.
-
(1951)
Amer. J. Math.
, vol.73
, pp. 891-939
-
-
Jónsson, B.1
Tarski, A.2
-
31
-
-
0001318162
-
Boolean algebras with operators, Part II
-
Jónsson, B. and Tarski, A. (1952): Boolean algebras with operators, Part II, Amer. J. Math. 74, 127-162.
-
(1952)
Amer. J. Math.
, vol.74
, pp. 127-162
-
-
Jónsson, B.1
Tarski, A.2
-
32
-
-
84995184256
-
A note on partial postulate sets for propositional logic
-
Kanger, S. (1955): A note on partial postulate sets for propositional logic, Theoria 21, 99-104.
-
(1955)
Theoria
, vol.21
, pp. 99-104
-
-
Kanger, S.1
-
33
-
-
0039267670
-
-
Almqvist and Wiksell, Stockholm
-
Kanger, S. (1957a): Provability in Logic, Almqvist and Wiksell, Stockholm.
-
(1957)
Provability in Logic
-
-
Kanger, S.1
-
34
-
-
84995180998
-
The morning star paradox
-
Kanger, S. (1957b): The morning star paradox, Theoria 23, 1-11.
-
(1957)
Theoria
, vol.23
, pp. 1-11
-
-
Kanger, S.1
-
36
-
-
0007783319
-
-
Reprinted with minor alterations in R. Hilpinen (ed.), Reidel, Dordrecht
-
Reprinted with minor alterations in R. Hilpinen (ed.), Deontic Logic: Introductory and Systematic Readings, Reidel, Dordrecht, 1970.
-
(1970)
Deontic Logic: Introductory and Systematic Readings
-
-
-
37
-
-
40849110352
-
A note on quantification and modalities
-
Kanger, S. (1957d): A note on quantification and modalities, Theoria 23, 133-134.
-
(1957)
Theoria
, vol.23
, pp. 133-134
-
-
Kanger, S.1
-
38
-
-
4243333465
-
Review of Kripke 1963a
-
Kaplan, D. (1966): Review of Kripke 1963a, J. Symbolic Logic 31, 120-122.
-
(1966)
J. Symbolic Logic
, vol.31
, pp. 120-122
-
-
Kaplan, D.1
-
39
-
-
0002977725
-
A completeness theorem in modal logic
-
Kripke, S. A. (1959a): A completeness theorem in modal logic, J. Symbolic Logic 24, 1-14.
-
(1959)
J. Symbolic Logic
, vol.24
, pp. 1-14
-
-
Kripke, S.A.1
-
40
-
-
0345373244
-
Semantical analysis of modal logic
-
Kripke, S. A. (1959b): Semantical analysis of modal logic (abstract), J. Symbolic Logic 24, 323-324.
-
(1959)
J. Symbolic Logic
, vol.24
, pp. 323-324
-
-
Kripke, S.A.1
-
41
-
-
37949002557
-
Semantical analysis of modal logic I: Normal modal propositional calculi
-
Kripke, S. A. (1963a): Semantical analysis of modal logic I: Normal modal propositional calculi, Z. Math. Logik Grundlag. Math. 9, 67-96.
-
(1963)
Z. Math. Logik Grundlag. Math.
, vol.9
, pp. 67-96
-
-
Kripke, S.A.1
-
42
-
-
0001972488
-
Semantical considerations on modal logic
-
Kripke, S. A. (1963b): Semantical considerations on modal logic, Acta Philosophica Fennica 16, 83-94.
-
(1963)
Acta Philosophica Fennica
, vol.16
, pp. 83-94
-
-
Kripke, S.A.1
-
43
-
-
0038702363
-
Semantical analysis of modal logic II: Non-normal modal propositional calculi
-
J. W. Addison, L. Henkin and A. Tarski (eds.), North-Holland, Amsterdam
-
Kripke, S. A. (1965): Semantical analysis of modal logic II: Non-normal modal propositional calculi, in J. W. Addison, L. Henkin and A. Tarski (eds.), The Theory of Models, North-Holland, Amsterdam.
-
(1965)
The Theory of Models
-
-
Kripke, S.A.1
-
44
-
-
33746664066
-
Two-valued truth tables for modal functions
-
P. Henle, H. M. Kallen and S. K. Langer (eds.), Liberal Arts Press, New York
-
Leonard, H. S. (1951): Two-valued truth tables for modal functions, in P. Henle, H. M. Kallen and S. K. Langer (eds.), Structure and Meaning Essays in Honor of Henry M. Sheffer, Liberal Arts Press, New York.
-
(1951)
Structure and Meaning Essays in Honor of Henry M. Sheffer
-
-
Leonard, H.S.1
-
45
-
-
60949190760
-
An exposition and development of Kanger's early semantics for modal logic
-
P. W. Humphreys and J. H. Fetzer (eds.), Kluwer, Amsterdam
-
Lindström, S. (1998): An exposition and development of Kanger's early semantics for modal logic, in P. W. Humphreys and J. H. Fetzer (eds.), The New Theory of Reference, Kluwer, Amsterdam.
-
(1998)
The New Theory of Reference
-
-
Lindström, S.1
-
46
-
-
0001529063
-
On three-valued logic
-
Łukasiewicz, J. (1920): On three-valued logic, Ruch Filozoficzny 5, 170-171.
-
(1920)
Ruch Filozoficzny
, vol.5
, pp. 170-171
-
-
Łukasiewicz, J.1
-
47
-
-
0003913087
-
-
English translation in L. Borkowski (ed.), North-Holland, Amsterdam
-
English translation in L. Borkowski (ed.), Jan Łukasiewicz: Selected Works, North-Holland, Amsterdam, 1970.
-
(1970)
Jan ŁUkasiewicz: Selected Works
-
-
-
48
-
-
0042113887
-
Philosophical remarks on many-valued systems
-
L. Borkowski (ed.), North-Holland, Amsterdam
-
Łukasiewicz, J. (1930): Philosophical remarks on many-valued systems, in L. Borkowski (ed.), Jan Łukasiewicz: Selected Works, North-Holland, Amsterdam, 1970.
-
(1930)
Jan ŁUkasiewicz: Selected Works
-
-
Łukasiewicz, J.1
-
49
-
-
52649134139
-
On variable functors of propositional arguments
-
Łukasiewicz, J. (1951): On variable functors of propositional arguments, Proc. Royal Irish Academy Sect. A 54, 29-35.
-
(1951)
Proc. Royal Irish Academy Sect. A
, vol.54
, pp. 29-35
-
-
Łukasiewicz, J.1
-
50
-
-
14044253460
-
A system of modal logic
-
Łukasiewicz, J. (1953): A system of modal logic, J. Comput. Systems 1, 111-149.
-
(1953)
J. Comput. Systems
, vol.1
, pp. 111-149
-
-
Łukasiewicz, J.1
-
51
-
-
0000432049
-
A solution of the decision problem for the Lewis systems S2 and S4, with an application to topology
-
McKinsey, J. C. C. (1941): A solution of the decision problem for the Lewis systems S2 and S4, with an application to topology, J. Symbolic Logic 6, 117-134.
-
(1941)
J. Symbolic Logic
, vol.6
, pp. 117-134
-
-
McKinsey, J.C.C.1
-
52
-
-
2342595341
-
On the syntactical construction of systems of modal logic
-
McKinsey, J. C. C. (1945): On the syntactical construction of systems of modal logic, J. Symbolic Logic 10, 83-94.
-
(1945)
J. Symbolic Logic
, vol.10
, pp. 83-94
-
-
McKinsey, J.C.C.1
-
54
-
-
0001728117
-
On closed elements in closure algebras
-
McKinsey, J. C. C. and Tarski, A. (1946): On closed elements in closure algebras, Ann. of Math. 47, 122-162.
-
(1946)
Ann. of Math.
, vol.47
, pp. 122-162
-
-
McKinsey, J.C.C.1
Tarski, A.2
-
55
-
-
0002479447
-
Some theorems about the sentential calculi of Lewis and Heyting
-
McKinsey, J. C. C. and Tarski, A. (1948): Some theorems about the sentential calculi of Lewis and Heyting, J. Symbolic Logic 13, 1-15.
-
(1948)
J. Symbolic Logic
, vol.13
, pp. 1-15
-
-
McKinsey, J.C.C.1
Tarski, A.2
-
56
-
-
33746751950
-
On an extended system of the propositional calculus
-
Meredith, C. A. (1951): On an extended system of the propositional calculus, Proc. Royal Irish Academy Sect. A 54, 37-47.
-
(1951)
Proc. Royal Irish Academy Sect. A
, vol.54
, pp. 37-47
-
-
Meredith, C.A.1
-
59
-
-
33746667039
-
Modal logic with functorial variables and a contingent constant
-
Meredith, C. A. and Prior, A. N. (1965): Modal logic with functorial variables and a contingent constant, Notre Dame J. Formal Logic 6, 99-109.
-
(1965)
Notre Dame J. Formal Logic
, vol.6
, pp. 99-109
-
-
Meredith, C.A.1
Prior, A.N.2
-
60
-
-
0004244642
-
In memoriam: Carew Arthur Meredith (1904-1976)
-
Meredith, D. (1977): In memoriam: Carew Arthur Meredith (1904-1976), Notre Dame J. Formal Logic 18, 513-16.
-
(1977)
Notre Dame J. Formal Logic
, vol.18
, pp. 513-516
-
-
Meredith, D.1
-
61
-
-
0347857039
-
Logical necessity, physical necessity, ethics, and quantifiers
-
Reprinted in Montague
-
Montague, R. (1960): Logical necessity, physical necessity, ethics, and quantifiers, Inquiry 3, 259-269. Reprinted in (Montague, 1974).
-
(1960)
Inquiry
, vol.3
, pp. 259-269
-
-
Montague, R.1
-
63
-
-
84963068683
-
Three-valued logic and future contingents
-
Prior, A. N. (1953): Three-valued logic and future contingents, Philos. Quart. 3, 317-26.
-
(1953)
Philos. Quart.
, vol.3
, pp. 317-326
-
-
Prior, A.N.1
-
64
-
-
0003402891
-
-
Clarendon Press, Oxford
-
Prior, A. N. (1955): Formal Logic, Clarendon Press, Oxford.
-
(1955)
Formal Logic
-
-
Prior, A.N.1
-
65
-
-
0342501301
-
Modality and quantification in S5
-
Prior, A. N. (1956): Modality and quantification in S5, J. Symbolic Logic 21, 60-62.
-
(1956)
J. Symbolic Logic
, vol.21
, pp. 60-62
-
-
Prior, A.N.1
-
66
-
-
0004254837
-
-
Oxford University Press, Oxford
-
Prior, A. N. (1957): Time and Modality, Oxford University Press, Oxford.
-
(1957)
Time and Modality
-
-
Prior, A.N.1
-
67
-
-
33645263446
-
The syntax of time-distinctions
-
Prior, A. N. (1958): The syntax of time-distinctions, Franciscan Studies 18, 105-120.
-
(1958)
Franciscan Studies
, vol.18
, pp. 105-120
-
-
Prior, A.N.1
-
68
-
-
33645251678
-
Possible worlds
-
Prior, A. N. (1962a): Possible worlds, Philos. Quart. 12, 36-43.
-
(1962)
Philos. Quart.
, vol.12
, pp. 36-43
-
-
Prior, A.N.1
-
69
-
-
33645260263
-
Tense logic and the continuity of time
-
Prior, A. N. (1962b): Tense logic and the continuity of time, Studia Logica 13, 133-148.
-
(1962)
Studia Logica
, vol.13
, pp. 133-148
-
-
Prior, A.N.1
-
71
-
-
53349164084
-
Logic, modal
-
P. Edwards (ed.), Macmillan, New York
-
Prior, A. N. (1967b): Logic, modal, in P. Edwards (ed.), The Encyclopedia of Philosophy, Macmillan, New York.
-
(1967)
The Encyclopedia of Philosophy
-
-
Prior, A.N.1
-
73
-
-
0001075371
-
Extensions of the Lewis system S5
-
Scroggs, S. J. (1951): Extensions of the Lewis system S5, J. Symbolic Logic 16, 112-120.
-
(1951)
J. Symbolic Logic
, vol.16
, pp. 112-120
-
-
Scroggs, S.J.1
-
74
-
-
0342385460
-
An Introduction to Modal Logic: The 'Lemmon Notes'
-
Segerberg, K. (ed.) Monograph No. 11
-
Segerberg, K. (ed.) (1977): An Introduction to Modal Logic: The 'Lemmon Notes', Amer. Philos. Quart., Monograph No. 11.
-
(1977)
Amer. Philos. Quart.
-
-
-
75
-
-
33746710830
-
-
dissertation submitted towards the Degree of Doctor of Philosophy in the University of Cambridge
-
Smiley, T. J. (1955): Natural systems of logic, dissertation submitted towards the Degree of Doctor of Philosophy in the University of Cambridge.
-
(1955)
Natural Systems of Logic
-
-
Smiley, T.J.1
-
76
-
-
52649119996
-
-
Department of Philosophy, University of Cambridge
-
Smiley, T. J. (1957): Modal logic, Lecture Handout, Department of Philosophy, University of Cambridge.
-
(1957)
Modal Logic, Lecture Handout
-
-
Smiley, T.J.1
-
78
-
-
0040273072
-
Ein erweiterter Klassenkalkül
-
Wajsberg, M. (1933): Ein erweiterter Klassenkalkül [An extended calculus of classes], Monatsh. Math. Phys. 40, 113-126.
-
(1933)
Monatsh. Math. Phys.
, vol.40
, pp. 113-126
-
-
Wajsberg, M.1
|