| Publication | Date of Publication | Type |
|---|
On equivalence relations between interpreted languages, with an application to modal and first-order language
Erkenntnis | 2026-04-14 | Paper |
How Tarskian are Carnap's Semantics?
History and Philosophy of Logic | 2026-03-31 | Paper |
| Are quantifiers intensional operators? | 2025-08-26 | Paper |
| Frege: identity challenges reflection. A revionist view | 2025-02-19 | Paper |
Wittgensteinian predicate logic and compositionality
Notre Dame Journal of Formal Logic | 2024-08-19 | Paper |
On quantification and extensionality
The Review of Symbolic Logic | 2024-06-08 | Paper |
The proof of Hume's principle
Essays on Frege's Basic Laws of Arithmetic | 2020-08-19 | Paper |
Still in the mood: the versatility of subjunctive markers in modal logic
Topoi | 2020-01-17 | Paper |
Actuality in propositional modal logic
Studia Logica | 2013-06-27 | Paper |
Tractarian first-order logic: identity and the N-operator
The Review of Symbolic Logic | 2013-01-10 | Paper |
| On Ramsey's `silly delusion' regarding Tractatus 5.53 | 2011-11-22 | Paper |
Wittgensteinian tableaux, identity, and co-denotation
Erkenntnis | 2009-05-29 | Paper |
| scientific article; zbMATH DE number 5521982 (Why is no real title available?) | 2009-03-02 | Paper |
On the relations between Heinrich Scholz and Jan Łukasiewicz
History and Philosophy of Logic | 2007-03-30 | Paper |
Frege's permutation argument revisited
Synthese | 2006-02-08 | Paper |
| scientific article; zbMATH DE number 2236683 (Why is no real title available?) | 2005-12-08 | Paper |
Wittgensteinian predicate logic
Notre Dame Journal of Formal Logic | 2005-07-06 | Paper |
| scientific article; zbMATH DE number 2152237 (Why is no real title available?) | 2005-04-04 | Paper |
In the mood
Journal of Philosophical Logic | 2005-01-12 | Paper |
| scientific article; zbMATH DE number 2019856 (Why is no real title available?) | 2004-01-04 | Paper |
On the consistency of the \(\Delta_1^1\)-CA fragment of Frege's Grundgesetze
Journal of Philosophical Logic | 2003-06-13 | Paper |
Consistent fragments of \textit{Grundgesetze} and the existence of non-logical objects
Synthese | 2001-01-07 | Paper |
| scientific article; zbMATH DE number 1483964 (Why is no real title available?) | 2000-08-02 | Paper |
Aspekte der frege–hilbert-korrespondenz
History and Philosophy of Logic | 1998-11-26 | Paper |
Classical and intuitionistic models of arithmetic
Notre Dame Journal of Formal Logic | 1997-09-03 | Paper |
| scientific article; zbMATH DE number 964558 (Why is no real title available?) | 1997-01-13 | Paper |
Fragments of HA based on \(\Sigma_ 1\)-induction
Archive for Mathematical Logic | 1996-09-25 | Paper |
