| Publication | Date of Publication | Type |
|---|
RAMSIFICATION AND SEMANTIC INDETERMINACY
The Review of Symbolic Logic | 2023-09-20 | Paper |
| Exact truthmaking as inexact truthmaking by minimal totality facts | 2022-10-25 | Paper |
On Non-Eliminative Structuralism. Unlabeled Graphs as a Case Study, Part B†
Philosophia Mathematica | 2022-04-04 | Paper |
| Axioms for typefree subjective probability | 2022-02-18 | Paper |
Why pure mathematical truths are metaphysically necessary: a set-theoretic explanation
Synthese | 2021-12-01 | Paper |
On non-eliminative structuralism. Unlabeled graphs as a case study. I.
Philosophia Mathematica | 2021-02-09 | Paper |
HYPE: a system of hyperintensional logic (with an application to semantic paradoxes)
Journal of Philosophical Logic | 2019-06-17 | Paper |
Probability for the revision theory of truth
Journal of Philosophical Logic | 2019-06-06 | Paper |
The review paradox: on the diachronic costs of not closing rational belief under conjunction
Nôus | 2017-03-03 | Paper |
A way out of the Preface Paradox?
Analysis | 2015-11-04 | Paper |
Criteria of Identity: Strong and Wrong
The British Journal for the Philosophy of Science | 2015-09-02 | Paper |
Reducing belief simpliciter to degrees of belief
Annals of Pure and Applied Logic | 2015-08-27 | Paper |
Belief as a simplification of probability, and what this entails
Outstanding Contributions to Logic | 2015-05-11 | Paper |
| The stability theory of belief. A summary | 2015-01-22 | Paper |
| scientific article; zbMATH DE number 6389539 (Why is no real title available?) | 2015-01-22 | Paper |
| scientific article; zbMATH DE number 6389546 (Why is no real title available?) | 2015-01-22 | Paper |
| Logic in philosophy of mathematics | 2013-10-04 | Paper |
Revision revisited
The Review of Symbolic Logic | 2013-01-10 | Paper |
God \(-\) Moore = Ramsey (a reply to Chalmers and Hájek)
Topoi | 2013-01-07 | Paper |
A probabilistic semantics for counterfactuals. Part A
The Review of Symbolic Logic | 2012-04-21 | Paper |
A PROBABILISTIC SEMANTICS FOR COUNTERFACTUALS. PART B
The Review of Symbolic Logic | 2012-04-21 | Paper |
| Mechanizing induction | 2012-03-02 | Paper |
| On formal and informal provability | 2011-11-22 | Paper |
New life for Carnap's \textit{Aufbau}?
Synthese | 2011-06-08 | Paper |
Logic in general philosophy of science: Old things and new things
Synthese | 2011-06-08 | Paper |
ON THE PROBABILISTIC CONVENTION T
The Review of Symbolic Logic | 2010-08-13 | Paper |
On the Ramsey test without triviality
Notre Dame Journal of Formal Logic | 2010-06-11 | Paper |
Criteria of Identity and Structuralist Ontology
Philosophia Mathematica | 2009-03-25 | Paper |
Finitistic and frequentistic approximation of probability measures with or without \(\sigma\)-additivity
Studia Logica | 2008-09-02 | Paper |
| scientific article; zbMATH DE number 5263144 (Why is no real title available?) | 2008-04-14 | Paper |
Beliefs in conditionals vs. conditional beliefs
Topoi | 2007-11-14 | Paper |
Dynamic doxastic logic: why, how, and where to?
Synthese | 2007-06-14 | Paper |
A new analysis of quasianalysis
Journal of Philosophical Logic | 2007-04-19 | Paper |
| Paradox by (non-wellfounded) definition | 2006-03-07 | Paper |
What truth depends on
Journal of Philosophical Logic | 2006-02-08 | Paper |
Interpreted dynamical systems and qualitative laws: From neural networks to evolutionary systems
Synthese | 2005-12-12 | Paper |
| scientific article; zbMATH DE number 2236676 (Why is no real title available?) | 2005-12-08 | Paper |
Hodges' theorem does not account for determinacy of translation. A reply to Werning
Erkenntnis | 2005-12-02 | Paper |
Inference on the low level. An investigation into deduction, nonmonotonic reasoning, and the philosophy of cognition
Applied Logic Series | 2005-08-11 | Paper |
| scientific article; zbMATH DE number 2109238 (Why is no real title available?) | 2004-10-22 | Paper |
Circular languages
Journal of Logic, Language and Information | 2004-08-16 | Paper |
Possible-worlds semantics for modal notions conceived as predicates
Journal of Philosophical Logic | 2003-06-09 | Paper |
Theories of truth which have no standard models
Studia Logica | 2002-08-29 | Paper |
No future
Journal of Philosophical Logic | 2002-07-22 | Paper |
Truth and the liar in De Morgan-valued models
Notre Dame Journal of Formal Logic | 2002-04-29 | Paper |
Truth as translation. Part B
Journal of Philosophical Logic | 2002-04-17 | Paper |
Truth as translation. Part A
Journal of Philosophical Logic | 2002-04-17 | Paper |
Nonmonotonic reasoning by inhibition nets
Artificial Intelligence | 2001-08-20 | Paper |
