| Publication | Date of Publication | Type |
|---|
| Kant’s Theory of Mathematics | 2022-02-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5215786 | 2020-02-13 | Paper |
| Perspectives on the logical study of language | 2019-11-07 | Paper |
| Super models | 2019-11-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4630759 | 2019-04-23 | Paper |
| How Can a Phenomenologist Have a Philosophy of Mathematics? | 2017-11-22 | Paper |
| Epistemology Without Knowledge and Without Belief | 2017-04-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5261956 | 2015-07-08 | Paper |
| The modified Ramsey theorem is not a Gödel sentence | 2013-10-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4918424 | 2013-04-24 | Paper |
| Method of Analysis: A Paradigm of Mathematical Reasoning? | 2013-04-18 | Paper |
| Which mathematical logic is the logic of mathematics? | 2013-03-15 | Paper |
| IF logic, definitions and the vicious circle principle | 2012-06-13 | Paper |
| What is the axiomatic method? | 2012-04-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3007269 | 2011-06-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3007293 | 2011-06-21 | Paper |
| IF logic in a wider setting: probability and mutual dependence | 2011-05-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3086691 | 2011-03-30 | Paper |
| Truth, negation and other basic notions of logic | 2007-08-20 | Paper |
| Knowledge and belief. An introduction to the logic of the two notions. Prepared by Vincent F. Hendricks and John Symons | 2006-03-27 | Paper |
| What is the true algebra of first-order logic? | 2006-01-24 | Paper |
| Toward a theory of the process of explanation | 2005-12-12 | Paper |
| Explanation: Retrospective reflections | 2005-12-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5711853 | 2005-12-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5313854 | 2005-09-01 | Paper |
| On Tarski's assumptions | 2005-08-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4661899 | 2005-03-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4661969 | 2005-03-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4830337 | 2004-12-09 | Paper |
| Independence-friendly logic and axiomatic set theory | 2004-08-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4452543 | 2004-03-01 | Paper |
| Comment on Eklund and Kolak | 2003-03-12 | Paper |
| Hyperclassical Logic (A.K.A. IF Logic) and Its Implications for Logical Theory | 2002-12-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4781254 | 2002-11-13 | Paper |
| Quantum logic as a fragment of independence-friendly logic | 2002-08-20 | Paper |
| Intuitionistic logic as epistemic logic | 2002-07-05 | Paper |
| Post-Tarskian truth | 2002-02-17 | Paper |
| Tarski's guilty secret: Compositionality | 2002-01-22 | Paper |
| Introduction and postcript to the special issue on truth | 2001-09-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4395541 | 2001-03-04 | Paper |
| Aspects of compositionality | 2001-02-18 | Paper |
| The fallacies of the new theory of reference | 2001-02-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4490131 | 2000-07-23 | Paper |
| Hilbert vindicated? | 2000-05-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4947959 | 2000-04-26 | Paper |
| On Gödel's philosophical assumptions | 2000-04-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4950483 | 2000-04-04 | Paper |
| Truth Definitions, Skolem Functions and Axiomatic Set Theory | 1999-08-17 | Paper |
| A revolution in the foundations of mathematics? | 1999-08-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4230820 | 1999-02-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4208569 | 1998-09-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4360863 | 1998-06-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4388222 | 1998-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4369834 | 1998-01-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4762294 | 1998-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4341998 | 1997-06-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5691485 | 1997-01-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4880495 | 1996-06-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4870178 | 1996-03-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3140379 | 1995-09-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3140380 | 1995-02-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4281255 | 1994-08-28 | Paper |
| Carnap's work in the foundations of logic and mathematics in a historical perspective | 1994-04-13 | Paper |
| On the development of the model-theoretic viewpoint in logical theory | 1993-02-02 | Paper |
| Metaphor and the Varieties of Lexical Meaning | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4732440 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3037394 | 1983-01-01 | Paper |
| Game-theoretical semantics: Insights and prospects | 1982-01-01 | Paper |
| Temporal discourse and semantical games | 1982-01-01 | Paper |
| Russell, Kant, and Coffa | 1981-01-01 | Paper |
| On denoting what? | 1981-01-01 | Paper |
| Information-seeking dialogues: Some of their logical properties | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4192032 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4140956 | 1977-01-01 | Paper |
| PRONOUNS OF LAZINESS IN GAME-THEORETICAL SEMANTICS | 1977-01-01 | Paper |
| Partially Ordered Quantifiers vs. Partially Ordered Ideas | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4124796 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4140955 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4156745 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4173340 | 1976-01-01 | Paper |
| A new approach to infinitary languages | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4141216 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4074895 | 1975-01-01 | Paper |
| Comment on Professor Bergström | 1975-01-01 | Paper |
| Impossible possible worlds vindicated | 1975-01-01 | Paper |
| The intentions of intentionality and other new models for modalities | 1975-01-01 | Paper |
| Quantifiers vs. Quantification Theory | 1974-01-01 | Paper |
| The method of analysis. Its geometrical origin and its general significance | 1974-01-01 | Paper |
| On the Proper Treatment of Quantifiers in Montague Semantics | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5666510 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5675341 | 1973-01-01 | Paper |
| Carnap's semantics in retrospect | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4041539 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5675701 | 1972-01-01 | Paper |
| Constituents and finite identifiability | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5652640 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5659507 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5623658 | 1971-01-01 | Paper |
| Inductive generalization and its problems: A comment on Kronthaler's comments | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5594598 | 1970-01-01 | Paper |
| ‘Prima facie’ obligations and iterated modalities1 | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5609837 | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5682304 | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5682310 | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4103522 | 1970-01-01 | Paper |
| The semantics of modal notions and the indeterminacy of ontology | 1970-01-01 | Paper |
| 'Knowing that one knows' reviewed | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5604447 | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5590042 | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5571677 | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5682305 | 1969-01-01 | Paper |
| Statistics, induction, and lawlikeness: Comments on Dr. Vetter's paper | 1969-01-01 | Paper |
| Behavioral criteria of radical translation | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5572313 | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5572314 | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5561930 | 1967-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5519117 | 1966-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5599787 | 1966-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5599794 | 1966-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5599793 | 1966-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5572312 | 1965-01-01 | Paper |
| A closure and complement result for nested topologies | 1965-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5607956 | 1965-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5520639 | 1965-01-01 | Paper |
| DISTRIBUTIVE NORMAL FORMS AND DEDUCTIVE INTERPOLATION | 1964-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5507502 | 1963-01-01 | Paper |
| Vicious circle principle and the paradoxes | 1957-01-01 | Paper |
| Identity, variables, and impredicative definitions | 1956-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3228603 | 1955-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3227561 | 1955-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3227562 | 1955-01-01 | Paper |
| An application of logic to algebra | 1954-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5818467 | 1953-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5821421 | 1953-01-01 | Paper |
