| Publication | Date of Publication | Type |
|---|
Systems of visual identification in neuroscience: lessons from epistemic logic
Philosophy of Science | 2026-03-26 | Paper |
| Kant’s Theory of Mathematics | 2022-02-25 | Paper |
| IF logic and linguistic theory | 2020-02-13 | Paper |
Perspectives on the logical study of language
Logica Universalis | 2019-11-07 | Paper |
Super models
Logica Universalis | 2019-11-07 | Paper |
| scientific article; zbMATH DE number 7046690 (Why is no real title available?) | 2019-04-23 | Paper |
How can a phenomenologist have a philosophy of mathematics?
Phaenomenologica | 2017-11-22 | Paper |
Epistemology without knowledge and without belief
Readings in Formal Epistemology | 2017-04-07 | Paper |
| scientific article; zbMATH DE number 6456771 (Why is no real title available?) | 2015-07-08 | Paper |
| The modified Ramsey theorem is not a Gödel sentence | 2013-10-23 | Paper |
| On Skolem functions in proof theory | 2013-04-24 | Paper |
Method of Analysis: A Paradigm of Mathematical Reasoning?
History and Philosophy of Logic | 2013-04-18 | Paper |
Which mathematical logic is the logic of mathematics?
Logica Universalis | 2013-03-15 | Paper |
IF logic, definitions and the vicious circle principle
Journal of Philosophical Logic | 2012-06-13 | Paper |
What is the axiomatic method?
Synthese | 2012-04-05 | Paper |
| scientific article; zbMATH DE number 5910663 (Why is no real title available?) | 2011-06-21 | Paper |
| scientific article; zbMATH DE number 5910684 (Why is no real title available?) | 2011-06-21 | Paper |
| IF logic in a wider setting: probability and mutual dependence | 2011-05-31 | Paper |
| scientific article; zbMATH DE number 5872189 (Why is no real title available?) | 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
Synthese | 2005-12-12 | Paper |
Explanation: Retrospective reflections
Synthese | 2005-12-12 | Paper |
| scientific article; zbMATH DE number 2236604 (Why is no real title available?) | 2005-12-08 | Paper |
| scientific article; zbMATH DE number 2201425 (Why is no real title available?) | 2005-09-01 | Paper |
On Tarski's assumptions
Synthese | 2005-08-22 | Paper |
| scientific article; zbMATH DE number 2149374 (Why is no real title available?) | 2005-03-30 | Paper |
| scientific article; zbMATH DE number 2149444 (Why is no real title available?) | 2005-03-30 | Paper |
| scientific article; zbMATH DE number 2121541 (Why is no real title available?) | 2004-12-09 | Paper |
Independence-friendly logic and axiomatic set theory
Annals of Pure and Applied Logic | 2004-08-06 | Paper |
| scientific article; zbMATH DE number 2048511 (Why is no real title available?) | 2004-03-01 | Paper |
Comment on Eklund and Kolak
Synthese | 2003-03-12 | Paper |
Hyperclassical Logic (A.K.A. IF Logic) and Its Implications for Logical Theory
The Bulletin of Symbolic Logic | 2002-12-16 | Paper |
| scientific article; zbMATH DE number 1827452 (Why is no real title available?) | 2002-11-13 | Paper |
Quantum logic as a fragment of independence-friendly logic
Journal of Philosophical Logic | 2002-08-20 | Paper |
Intuitionistic logic as epistemic logic
Synthese | 2002-07-05 | Paper |
Post-Tarskian truth
Synthese | 2002-02-17 | Paper |
| Tarski's guilty secret: Compositionality | 2002-01-22 | Paper |
Introduction and postcript to the special issue on truth
Synthese | 2001-09-13 | Paper |
| scientific article; zbMATH DE number 1163918 (Why is no real title available?) | 2001-03-04 | Paper |
Aspects of compositionality
Journal of Logic, Language and Information | 2001-02-18 | Paper |
The fallacies of the new theory of reference
Synthese | 2001-02-01 | Paper |
| scientific article; zbMATH DE number 1472846 (Why is no real title available?) | 2000-07-23 | Paper |
Hilbert vindicated?
Synthese | 2000-05-09 | Paper |
| scientific article; zbMATH DE number 1435792 (Why is no real title available?) | 2000-04-26 | Paper |
On Gödel's philosophical assumptions
Synthese | 2000-04-25 | Paper |
| scientific article; zbMATH DE number 1426633 (Why is no real title available?) | 2000-04-04 | Paper |
Truth Definitions, Skolem Functions and Axiomatic Set Theory
The Bulletin of Symbolic Logic | 1999-08-17 | Paper |
A revolution in the foundations of mathematics?
Synthese | 1999-08-03 | Paper |
| scientific article; zbMATH DE number 1250539 (Why is no real title available?) | 1999-02-14 | Paper |
| scientific article; zbMATH DE number 1196690 (Why is no real title available?) | 1998-09-06 | Paper |
| scientific article; zbMATH DE number 1078592 (Why is no real title available?) | 1998-06-28 | Paper |
| scientific article; zbMATH DE number 1153608 (Why is no real title available?) | 1998-05-18 | Paper |
| scientific article; zbMATH DE number 1103298 (Why is no real title available?) | 1998-01-13 | Paper |
| scientific article; zbMATH DE number 1568775 (Why is no real title available?) | 1998-01-01 | Paper |
| scientific article; zbMATH DE number 1027921 (Why is no real title available?) | 1997-06-30 | Paper |
| scientific article; zbMATH DE number 972408 (Why is no real title available?) | 1997-01-29 | Paper |
| scientific article; zbMATH DE number 885180 (Why is no real title available?) | 1996-06-06 | Paper |
| scientific article; zbMATH DE number 857103 (Why is no real title available?) | 1996-03-17 | Paper |
| scientific article; zbMATH DE number 437510 (Why is no real title available?) | 1995-09-11 | Paper |
| scientific article; zbMATH DE number 437511 (Why is no real title available?) | 1995-02-16 | Paper |
| scientific article; zbMATH DE number 510782 (Why is no real title available?) | 1994-08-28 | Paper |
Carnap's work in the foundations of logic and mathematics in a historical perspective
Synthese | 1994-04-13 | Paper |
On the development of the model-theoretic viewpoint in logical theory
Synthese | 1993-02-02 | Paper |
Metaphor and the Varieties of Lexical Meaning
Dialectica | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4118333 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 3829871 (Why is no real title available?) | 1983-01-01 | Paper |
Game-theoretical semantics: Insights and prospects
Notre Dame Journal of Formal Logic | 1982-01-01 | Paper |
Temporal discourse and semantical games
Linguistics and Philosophy | 1982-01-01 | Paper |
Russell, Kant, and Coffa
Synthese | 1981-01-01 | Paper |
On denoting what?
Synthese | 1981-01-01 | Paper |
Information-seeking dialogues: Some of their logical properties
Studia Logica | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3630685 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3570409 (Why is no real title available?) | 1977-01-01 | Paper |
PRONOUNS OF LAZINESS IN GAME-THEORETICAL SEMANTICS
Theoretical Linguistics | 1977-01-01 | Paper |
Partially Ordered Quantifiers vs. Partially Ordered Ideas
Dialectica | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3550663 (Why is no real title available?) | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3570408 (Why is no real title available?) | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3586992 (Why is no real title available?) | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3607985 (Why is no real title available?) | 1976-01-01 | Paper |
A new approach to infinitary languages
Annals of Mathematical Logic | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3568656 (Why is no real title available?) | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3492670 (Why is no real title available?) | 1975-01-01 | Paper |
Comment on Professor Bergström
Theoria | 1975-01-01 | Paper |
Impossible possible worlds vindicated
Journal of Philosophical Logic | 1975-01-01 | Paper |
The intentions of intentionality and other new models for modalities
Synthese Library | 1975-01-01 | Paper |
Quantifiers vs. Quantification Theory
Dialectica | 1974-01-01 | Paper |
The method of analysis. Its geometrical origin and its general significance
Synthese Library | 1974-01-01 | Paper |
On the Proper Treatment of Quantifiers in Montague Semantics
Logical Theory and Semantic Analysis | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3399180 (Why is no real title available?) | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3411000 (Why is no real title available?) | 1973-01-01 | Paper |
Carnap's semantics in retrospect
Synthese | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3455220 (Why is no real title available?) | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3409314 (Why is no real title available?) | 1972-01-01 | Paper |
Constituents and finite identifiability
Journal of Philosophical Logic | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3382288 (Why is no real title available?) | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3390714 (Why is no real title available?) | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3348070 (Why is no real title available?) | 1971-01-01 | Paper |
Inductive generalization and its problems: A comment on Kronthaler's comments
Theory and Decision | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3314327 (Why is no real title available?) | 1970-01-01 | Paper |
‘Prima facie’ obligations and iterated modalities1
Theoria | 1970-01-01 | Paper |
| scientific article; zbMATH DE number 3333008 (Why is no real title available?) | 1970-01-01 | Paper |
| scientific article; zbMATH DE number 3417428 (Why is no real title available?) | 1970-01-01 | Paper |
| scientific article; zbMATH DE number 3417437 (Why is no real title available?) | 1970-01-01 | Paper |
| scientific article; zbMATH DE number 3526656 (Why is no real title available?) | 1970-01-01 | Paper |
The semantics of modal notions and the indeterminacy of ontology
Synthese | 1970-01-01 | Paper |
'Knowing that one knows' reviewed
Synthese | 1970-01-01 | Paper |
| scientific article; zbMATH DE number 3325551 (Why is no real title available?) | 1969-01-01 | Paper |
| scientific article; zbMATH DE number 3309182 (Why is no real title available?) | 1969-01-01 | Paper |
| scientific article; zbMATH DE number 3288569 (Why is no real title available?) | 1969-01-01 | Paper |
| scientific article; zbMATH DE number 3417433 (Why is no real title available?) | 1969-01-01 | Paper |
Statistics, induction, and lawlikeness: Comments on Dr. Vetter's paper
Synthese | 1969-01-01 | Paper |
Behavioral criteria of radical translation
Synthese | 1968-01-01 | Paper |
| scientific article; zbMATH DE number 3290289 (Why is no real title available?) | 1968-01-01 | Paper |
| scientific article; zbMATH DE number 3290290 (Why is no real title available?) | 1968-01-01 | Paper |
| scientific article; zbMATH DE number 3277457 (Why is no real title available?) | 1967-01-01 | Paper |
| scientific article; zbMATH DE number 3231064 (Why is no real title available?) | 1966-01-01 | Paper |
| scientific article; zbMATH DE number 3321236 (Why is no real title available?) | 1966-01-01 | Paper |
| scientific article; zbMATH DE number 3321242 (Why is no real title available?) | 1966-01-01 | Paper |
| scientific article; zbMATH DE number 3321241 (Why is no real title available?) | 1966-01-01 | Paper |
| scientific article; zbMATH DE number 3290288 (Why is no real title available?) | 1965-01-01 | Paper |
A closure and complement result for nested topologies
Fundamenta Mathematicae | 1965-01-01 | Paper |
| scientific article; zbMATH DE number 3329864 (Why is no real title available?) | 1965-01-01 | Paper |
| scientific article; zbMATH DE number 3232745 (Why is no real title available?) | 1965-01-01 | Paper |
DISTRIBUTIVE NORMAL FORMS AND DEDUCTIVE INTERPOLATION
Mathematical Logic Quarterly | 1964-01-01 | Paper |
| scientific article; zbMATH DE number 3218736 (Why is no real title available?) | 1963-01-01 | Paper |
Vicious circle principle and the paradoxes
Journal of Symbolic Logic | 1957-01-01 | Paper |
Identity, variables, and impredicative definitions
Journal of Symbolic Logic | 1956-01-01 | Paper |
| scientific article; zbMATH DE number 3114386 (Why is no real title available?) | 1955-01-01 | Paper |
| scientific article; zbMATH DE number 3113496 (Why is no real title available?) | 1955-01-01 | Paper |
| scientific article; zbMATH DE number 3113497 (Why is no real title available?) | 1955-01-01 | Paper |
An application of logic to algebra
MATHEMATICA SCANDINAVICA | 1954-01-01 | Paper |
| scientific article; zbMATH DE number 3079563 (Why is no real title available?) | 1953-01-01 | Paper |
| scientific article; zbMATH DE number 3082561 (Why is no real title available?) | 1953-01-01 | Paper |
