- Pragmatics and intensional logic.Richard Montague - 1970 - Synthese 22 (1-2):68--94.details
|
|
Pragmatics and intensional logic.Richard Montague - 1970 - Dialectica 24 (4):277-302.details
|
|
In memoriam: Leon Albert Henkin, 1921—2006.J. Donald Monk - 2009 - Bulletin of Symbolic Logic 15 (3):326-331.details
|
|
Kripke-style models for typed lambda calculus.John C. Mitchell & Eugenio Moggi - 1991 - Annals of Pure and Applied Logic 51 (1-2):99-124.details
|
|
Truth by default.Vann Mcgee - 2001 - Philosophia Mathematica 9 (1):5-20.details
|
|
Structuralism and Isomorphism.C. McCarty - 2015 - Philosophia Mathematica 23 (1):1-10.details
|
|
Logic in the Tractatus.Max Weiss - 2017 - Review of Symbolic Logic 10 (1):1-50.details
|
|
A Higher-Order Theory of Presupposition.Scott Martin & Carl Pollard - 2012 - Studia Logica 100 (4):727-751.details
|
|
Identity, Equality, Nameability and Completeness.María Manzano & Manuel Crescencio Moreno - 2017 - Bulletin of the Section of Logic 46 (3/4).details
|
|
Identity, equality, nameability and completeness. Part II.María Manzano & Manuel Crescencio Moreno - 2018 - Bulletin of the Section of Logic 47 (3):141.details
|
|
Hybrid Partial Type Theory.María Manzano, Antonia Huertas, Patrick Blackburn, Manuel Martins & Víctor Aranda - forthcoming - Journal of Symbolic Logic:1-43.details
|
|
Completeness in Equational Hybrid Propositional Type Theory.Maria Manzano, Manuel Martins & Antonia Huertas - 2019 - Studia Logica 107 (6):1159-1198.details
|
|
Completeness: from Gödel to Henkin.Maria Manzano & Enrique Alonso - 2014 - History and Philosophy of Logic 35 (1):1-26.details
|
|
Completeness in Equational Hybrid Propositional Type Theory.Maria Manzano, Manuel Martins & Antonia Huertas - 2019 - Studia Logica 107 (6):1159-1198.details
|
|
A generalisation of the concept of a relational model for modal logic.David Makinson - 1970 - Theoria 36 (3):331-335.details
|
|
Alonzo church:his life, his work and some of his miracles.Maía Manzano - 1997 - History and Philosophy of Logic 18 (4):211-232.details
|
|
On a Straw Man in the Philosophy of Science - A Defense of the Received View.Sebastian Lutz - 2012 - Hopos: The Journal of the International Society for the History of Philosophy of Science 2 (1):77–120.details
|
|
Introducing Kurt Gödel [review of Gödel, Collected Works, Vol. 1: Publications, 1929-1936 ].Billy Joe Lucas - 1989 - Russell: The Journal of Bertrand Russell Studies 9 (1).details
|
|
Circumscriptive theories: A logic-based framework for knowledge representation. [REVIEW]Vladimir Lifshitz - 1988 - Journal of Philosophical Logic 17 (4):391 - 441.details
|
|
Materialism and qualia: The explanatory gap.Joseph Levine - 1983 - Pacific Philosophical Quarterly 64 (October):354-61.details
|
|
Partial monotonic protothetics.François Lepage - 2000 - Studia Logica 66 (1):147-163.details
|
|
That principia mathematica, first edition, has a predicative interpretation after all.Hugues Leblanc - 1975 - Journal of Philosophical Logic 4 (1):67 - 70.details
|
|
Matters of relevance.Hugues Leblanc - 1972 - Journal of Philosophical Logic 1 (3/4):269 - 286.details
|
|
Intuitionist type theory and foundations.J. Lambek & P. J. Scott - 1981 - Journal of Philosophical Logic 10 (1):101 - 115.details
|
|
Dunn’s relevant predication, real properties and identity.Philip Kremer - 1997 - Erkenntnis 47 (1):37-65.details
|
|
Strong logics of first and second order.Peter Koellner - 2010 - Bulletin of Symbolic Logic 16 (1):1-36.details
|
|
Standard Formalization.Jeffrey Ketland - 2022 - Axiomathes 32 (3):711-748.details
|
|
Characterizing all models in infinite cardinalities.Lauri Keskinen - 2013 - Annals of Pure and Applied Logic 164 (3):230-250.details
|
|
Analyticity versus fuzziness.John G. Kemeny - 1963 - Synthese 15 (1):57 - 80.details
|
|
Domains of Sciences, Universes of Discourse and Omega Arguments.Jose M. Saguillo - 1999 - History and Philosophy of Logic 20 (3-4):267-290.details
|
|
The compactness of first-order logic:from gödel to lindström.John W. Dawson - 1993 - History and Philosophy of Logic 14 (1):15-37.details
|
|
Reduction and Tarski's Definition of Logical Consequence.Jim Edwards - 2003 - Notre Dame Journal of Formal Logic 44 (1):49-62.details
|
|
Boolean-Valued Second-Order Logic.Daisuke Ikegami & Jouko Väänänen - 2015 - Notre Dame Journal of Formal Logic 56 (1):167-190.details
|
|
On second-order characterizability.T. Hyttinen, K. Kangas & J. Vaananen - 2013 - Logic Journal of the IGPL 21 (5):767-787.details
|
|
Probabilities on Sentences in an Expressive Logic.Marcus Hutter, John W. Lloyd, Kee Siong Ng & William T. B. Uther - 2013 - Journal of Applied Logic 11 (4):386-420.details
|
|
The semantic view of theories and higher-order languages.Laurenz Hudetz - 2019 - Synthese 196 (3):1131-1149.details
|
|
Truth definitions, Skolem functions and axiomatic set theory.Jaakko Hintikka - 1998 - Bulletin of Symbolic Logic 4 (3):303-337.details
|
|
Quantifiers vs. Quantification Theory.Jaakko Hintikka - 1973 - Dialectica 27 (3‐4):329-358.details
|
|
On göde's philosophical assumptions.Jaakko Hintikka - 1998 - Synthese 114 (1):13-23.details
|
|
Independence-friendly logic and axiomatic set theory.Jaakko Hintikka - 2004 - Annals of Pure and Applied Logic 126 (1-3):313-333.details
|
|
Carnap's work in the foundations of logic and mathematics in a historical perspective.Jaakko Hintikka - 1992 - Synthese 93 (1-2):167 - 189.details
|
|
A revolution in the foundations of mathematics?Jaakko Hintikka - 1997 - Synthese 111 (2):155-170.details
|
|
The discovery of my completeness proofs.Leon Henkin - 1996 - Bulletin of Symbolic Logic 2 (2):127-158.details
|
|
Russell's 1925 logic.A. P. Hazen & J. M. Davoren - 2000 - Australasian Journal of Philosophy 78 (4):534 – 556.details
|
|
Second-Order Logic of Paradox.Allen P. Hazen & Francis Jeffry Pelletier - 2018 - Notre Dame Journal of Formal Logic 59 (4):547-558.details
|
|
Pecularities of Some Three- and Four-Valued Second Order Logics.Allen P. Hazen & Francis Jeffry Pelletier - 2018 - Logica Universalis 12 (3-4):493-509.details
|
|
Zur Axiomatisierung der k‐zahlig allgemeingültigen Ausdrücke des Stufenkalküls.Gisbert Hasenjaeger - 1958 - Mathematical Logic Quarterly 4 (12‐16):175-177.details
|
|
Zur Axiomatisierung derk-zahlig allgemeingültigen Ausdrücke des Stufenkalküls.Gisbert Hasenjaeger - 1958 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 4 (12-16):175-177.details
|
|
The three arrows of Zeno.Craig Harrison - 1996 - Synthese 107 (2):271 - 292.details
|
|
Mathematical modal logic: A view of its evolution.Robert Goldblatt - 2003 - Journal of Applied Logic 1 (5-6):309-392.details
|
|