- Analyticity versus fuzziness.John G. Kemeny - 1963 - Synthese 15 (1):57 - 80.details
|
|
Zermelo and set theory.Akihiro Kanamori - 2004 - Bulletin of Symbolic Logic 10 (4):487-553.details
|
|
The mathematical development of set theory from Cantor to Cohen.Akihiro Kanamori - 1996 - Bulletin of Symbolic Logic 2 (1):1-71.details
|
|
Law and logic.Stig Kanger - 1972 - Theoria 38 (3):105-132.details
|
|
Gödel and set theory.Akihiro Kanamori - 2007 - Bulletin of Symbolic Logic 13 (2):153-188.details
|
|
A correspondence between Martin-löf type theory, the ramified theory of types and pure type systems.Fairouz Kamareddine & Twan Laan - 2001 - Journal of Logic, Language and Information 10 (3):375-402.details
|
|
Truth in applicative theories.Reinhard Kahle - 2001 - Studia Logica 68 (1):103-128.details
|
|
A strong multi-typed intuitionistic theory of functionals.Farida Kachapova - 2015 - Journal of Symbolic Logic 80 (3):1035-1065.details
|
|
Procedural semantics.Philip N. Johnson-Laird - 1977 - Cognition 5 (3):189-214.details
|
|
Too naturalist and not naturalist enough: Reply to Horsten.Luca Incurvati - 2008 - Erkenntnis 69 (2):261 - 274.details
|
|
Explizite Definitionen einiger Eigenschaften von Zeichenreihen.Klaus Härtig - 1956 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 2 (10-15):177-203.details
|
|
No future.Leon Horsten & Hannes Leitgeb - 2001 - Journal of Philosophical Logic 30 (3):259-265.details
|
|
Making computational sense of Montague's intensional logic.Jerry R. Hobbs & Stanley J. Rosenschein - 1977 - Artificial Intelligence 9 (3):287-306.details
|
|
What is the axiomatic method?Jaakko Hintikka - 2011 - Synthese 183 (1):69-85.details
|
|
Truth definitions, Skolem functions and axiomatic set theory.Jaakko Hintikka - 1998 - Bulletin of Symbolic Logic 4 (3):303-337.details
|
|
Post-tarskian truth.Jaakko Hintikka - 2001 - Synthese 126 (1-2):17 - 36.details
|
|
On tarski’s assumptions.Jaakko Hintikka - 2005 - Synthese 142 (3):353 - 369.details
|
|
On tarski’s assumptions.Jaakko Hintikka - 2005 - Synthese 142 (3):353-369.details
|
|
Introduction and postcript.J. Hintikka - 2001 - Synthese 126 (1-2):1-15.details
|
|
A counterexample to Tarski-type truth-definitions as applied to natural languages.Jaakko Hintikka - 1975 - Philosophia 5 (3):207-212.details
|
|
The completeness of the first-order functional calculus.Leon Henkin - 1949 - Journal of Symbolic Logic 14 (3):159-166.details
|
|
Banishing the rule of substitution for functional variables.Leon Henkin - 1953 - Journal of Symbolic Logic 18 (3):201-208.details
|
|
Vagueness and logic.Carl G. Hempel - 1939 - Philosophy of Science 6 (2):163-180.details
|
|
Modality as many metalinguistic predicates.Allen Hazen - 1984 - Philosophical Studies 46 (2):271 - 277.details
|
|
Perception, Intuition, and Reliability.Kai Hauser & Tahsİn Öner - 2018 - Theoria 84 (1):23-59.details
|
|
Objectivity over objects: A case study in theory formation.Kai Hauser - 2001 - Synthese 128 (3):245 - 285.details
|
|
Gödel's program revisited part I: The turn to phenomenology.Kai Hauser - 2006 - Bulletin of Symbolic Logic 12 (4):529-590.details
|
|
Truth and the Liar in De Morgan-Valued Models.Hannes Leitgeb - 1999 - Notre Dame Journal of Formal Logic 40 (4):496-514.details
|
|
The Substitutional Analysis of Logical Consequence.Volker Halbach - 2019 - Noûs 54 (2):431-450.details
|
|
Tarski hierarchies.Volker Halbach - 1995 - Erkenntnis 43 (3):339 - 367.details
|
|
On the unusual effectiveness of logic in computer science.Joseph Y. Halpern, Robert Harper, Neil Immerman, Phokion G. Kolaitis, Moshe Y. Vardi & Victor Vianu - 2001 - Bulletin of Symbolic Logic 7 (2):213-236.details
|
|
Editorial introduction.Volker Halbach - 2001 - Studia Logica 68 (1):3-20.details
|
|
A sense-based, process model of belief.Robert F. Hadley - 1991 - Minds and Machines 1 (3):279-320.details
|
|
Conditionals in Theories of Truth.Anil Gupta & Shawn Standefer - 2017 - Journal of Philosophical Logic 46 (1):27-63.details
|
|
Why Aristotle’s Sea-Battle Argument is Valid.Michael Groneberg - 2013 - History of Philosophy & Logical Analysis 16 (1):331-345.details
|
|
Frege on Truth, Assertoric Force and the Essence of Logic.Dirk Greimann - 2014 - History and Philosophy of Logic 35 (3):272-288.details
|
|
Die idee hinter tarskis definition Von wahrheit.Dirk Greimann - 1997 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 28 (1):121-158.details
|
|
A Typology of Conceptual Explications.Dirk Greimann - 2012 - Disputatio 4 (34):645-670.details
|
|
Varieties of Self-Reference in Metamathematics.Balthasar Grabmayr, Volker Halbach & Lingyuan Ye - 2023 - Journal of Philosophical Logic 52 (4):1005-1052.details
|
|
Omnipresence, Multipresence and Ubiquity: Kinds of Generality in and Around Mathematics and Logics. [REVIEW]I. Grattan-Guinness - 2011 - Logica Universalis 5 (1):21-73.details
|
|
Karl Popper for and against Bertrand Russell.I. Grattan-Guinness - 1998 - Russell: The Journal of Bertrand Russell Studies 18 (1).details
|
|
Rereading Tarski on logical consequence.Mario Gómez-Torrente - 2009 - Review of Symbolic Logic 2 (2):249-297.details
|
|
Truth, reflection, and hierarchies.Michael Glanzberg - 2005 - Synthese 142 (3):289 - 315.details
|
|
No facts without perspectives.Ramiro Glauer & Frauke Hildebrandt - 2020 - Synthese 199 (1-2):3825-3851.details
|
|
Circularity, Definition and Truth.Michael Glanzberg - 2002 - Philosophical Review 111 (3):465-470.details
|
|
A contextual–hierarchical approach to truth and the liar paradox.Michael Glanzberg - 2004 - Journal of Philosophical Logic 33 (1):27-88.details
|
|
Book Review: Keith Simmons. Universality and the Liar: An Essay on Truth and the Diagonal Argument. [REVIEW]Gian Aldo Antonelli - 1996 - Notre Dame Journal of Formal Logic 37 (1):152-159.details
|
|
Incompleteness and truth definitions.G. Germano - 1971 - Theoria 37 (1):86-90.details
|
|
Two conceptions of truth? – Comment.V. Mc Gee - 2005 - Philosophical Studies 124 (1):71 - 104.details
|
|
The Ethical Nature of Karl Popper’s Solution to the Problem of Rationality.Stefano Gattei - 2002 - Philosophy of the Social Sciences 32 (2):240-266.details
|
|