- Handbook of Modal Logic.Patrick Blackburn, Johan van Benthem & Frank Wolter (eds.) - 2006 - Elsevier.details
|
|
A New Introduction to Modal Logic.G. E. Hughes & M. J. Cresswell - 1996 - Studia Logica 62 (3):439-441.details
|
|
(1 other version)The Identity of Individuals in a Strict Functional Calculus of Second Order.Ruth C. Barcan - 1947 - Journal of Symbolic Logic 12 (3):95-96.details
|
|
Symbolic Logic.C. I. Lewis & C. H. Langford - 1932 - Erkenntnis 4 (1):65-66.details
|
|
A Survey of Symbolic Logic.C. I. Lewis - 1918 - Journal of Philosophy, Psychology and Scientific Methods 17 (3):78-79.details
|
|
Modal Logic: An Introduction.Brian F. Chellas - 1980 - New York: Cambridge University Press.details
|
|
Algebraic semantics for modal logics I.E. J. Lemmon - 1966 - Journal of Symbolic Logic 31 (1):46-65.details
|
|
Les Logiques nouvelles des modalités.Robert Feys - 1937 - Revue Néo-Scolastique de Philosophie 40 (56):517-553.details
|
|
III.—Symbolic reasoning.Hugh Maccoll - 1897 - Mind 6 (4):493-510.details
|
|
A companion to modal logic: some corrections.G. E. Hughes & M. J. Cresswell - 1986 - Logique Et Analyse 29 (3):41-51.details
|
|
First-Order Modal Logic.Melvin Fitting & Richard L. Mendelsohn - 1998 - Dordrecht, Netherland: Kluwer Academic Publishers.details
|
|
(2 other versions)Semantical Analysis of Modal Logic II. Non-Normal Modal Propositional Calculi.Saul A. Kripke - 1965 - In J. W. Addison (ed.), The theory of models. Amsterdam,: North-Holland Pub. Co.. pp. 206-20.details
|
|
Semantical Considerations on Modal Logic.Saul Kripke - 1963 - Acta Philosophica Fennica 16:83-94.details
|
|
A contribution to the axiomatization of Lewis' system S5.Bolesław Sobociński - 1962 - Notre Dame Journal of Formal Logic 3:51.details
|
|
Modal logic and philosophy.Sten Lindström & Krister Segerberg - 2006 - In Patrick Blackburn, Johan van Benthem & Frank Wolter (eds.), Handbook of Modal Logic. Elsevier. pp. 1149-1214.details
|
|
Selected works.Jan Łukasiewicz - 1970 - Amsterdam,: North-Holland Pub. Co.. Edited by Ludwik Borkowski.details
|
|
Reference and modality.Leonard Linsky - 1971 - London,: Oxford University Press.details
|
|
Studies in modality.Nicholas Rescher - 1974 - Oxford: Blackwell. Edited by Ruth Manor.details
|
|
Time and modality.Arthur N. Prior - 1955 - Westport, Conn.: Greenwood Press.details
|
|
Necessary propositions and entailment-statements.P. F. Strawson - 1948 - Mind 57 (226):184-200.details
|
|
(1 other version)The problem of interpreting modal logic.W. V. Quine - 1947 - Journal of Symbolic Logic 12 (2):43-48.details
|
|
Modality and quantification in S5.A. N. Prior - 1956 - Journal of Symbolic Logic 21 (1):60-62.details
|
|
Intensional relations.Everett J. Nelson - 1930 - Mind 39 (156):440-453.details
|
|
(1 other version)Some theorems about the sentential calculi of Lewis and Heyting.J. C. C. McKinsey & Alfred Tarski - 1948 - Journal of Symbolic Logic 13 (1):1-15.details
|
|
(1 other version)On the number of complete extensions of the Lewis systems of sentential calculus.J. C. C. McKinsey - 1944 - Journal of Symbolic Logic 9 (2):42-45.details
|
|
On the syntactical construction of systems of modal logic.J. C. C. Mckinsey - 1945 - Journal of Symbolic Logic 10 (3):83-94.details
|
|
A solution of the decision problem for the Lewis systems s2 and s4, with an application to topology.J. C. C. McKinsey - 1941 - Journal of Symbolic Logic 6 (4):117-134.details
|
|
In defense of the simplest quantified modal logic.Bernard Linsky & Edward N. Zalta - 1994 - Philosophical Perspectives 8:431-458.details
|
|
The calculus of strict implication.C. I. Lewis - 1914 - Mind 23 (90):240-247.details
|
|
Implication and the algebra of logic.C. I. Lewis - 1912 - Mind 21 (84):522-531.details
|
|
New foundations for Lewis modal systems.E. J. Lemmon - 1957 - Journal of Symbolic Logic 22 (2):176-186.details
|
|
(1 other version)A completeness theorem in modal logic.Saul Kripke - 1959 - Journal of Symbolic Logic 24 (1):1-14.details
|
|
Note on a property of matrices for Lewis and Langford's calculi of propositions.James Dugundji - 1940 - Journal of Symbolic Logic 5 (4):150-151.details
|
|
The genesis of possible worlds semantics.B. Jack Copeland - 2002 - Journal of Philosophical Logic 31 (2):99-137.details
|
|
On the primary and secondary semantics of logical necessity.Nino Cocchiarella - 1975 - Journal of Philosophical Logic 4 (1):13 - 27.details
|
|
(1 other version)Modalities and quantification.Rudolf Carnap - 1946 - Journal of Symbolic Logic 11 (2):33-64.details
|
|
An algebraic study of diodorean modal systems.R. A. Bull - 1965 - Journal of Symbolic Logic 30 (1):58-64.details
|
|
An algebraic study of tense logics with linear time.R. A. Bull - 1968 - Journal of Symbolic Logic 33 (1):27-38.details
|
|
The deduction theorem in a functional calculus of first order based on strict implication.Ruth C. Barcan - 1946 - Journal of Symbolic Logic 11 (4):115-118.details
|
|
(1 other version)A functional calculus of first order based on strict implication.Ruth C. Barcan - 1946 - Journal of Symbolic Logic 11 (1):1-16.details
|
|
Independence of the primitive symbols of Lewis's calculi of propositions.M. J. Alban - 1943 - Journal of Symbolic Logic 8 (1):25-26.details
|
|
(3 other versions)Modal logic for philosophers.James W. Garson - 2013 - New York, NY: Cambridge University Press.details
|
|
(2 other versions)Meaning and necessity.Rudolf Carnap - 1947 - Chicago,: University of Chicago Press.details
|
|
Vi.—symbolic reasoning 1.Hugh Maccoll - 1900 - Mind 9 (36):75-84.details
|
|
Two simple incomplete modal logics.J. F. A. K. van Benthem - 1978 - Theoria 44 (1):25-37.details
|
|
(1 other version)Logic for Contigent Beings.Harry Deutsch - 1994 - Journal of Philosophical Research 19:273-329.details
|
|
Semantical Analysis of Modal Logic I. Normal Propositional Calculi.Saul A. Kripke - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (5‐6):67-96.details
|
|
(1 other version)An essay in modal logic.G. H. von Wright - 1951 - Amsterdam,: North-Holland Pub. Co..details
|
|
Worlds, times, and selves.A. N. Prior - 1977 - London: Duckworth. Edited by Kit Fine.details
|
|
(1 other version)On the semantic non-completeness of certain Lewis calculi.Sören Halldén - 1951 - Journal of Symbolic Logic 16 (2):127 - 129.details
|
|