| Publication | Date of Publication | Type |
|---|
| Pickel against second-order primitivism | 2025-10-07 | Paper |
| Menzel on pure logic and higher-order metaphysics | 2025-10-07 | Paper |
| Accepting a logic, accepting a theory | 2025-02-05 | Paper |
Absolute Provability and Safe Knowledge of Axioms
Gödel's Disjunction | 2020-04-02 | Paper |
Supervaluationism and good reasoning
THEORIA. An International Journal for Theory, History and Foundations of Science | 2019-12-10 | Paper |
Counterpossibles
Topoi | 2018-11-02 | Paper |
Some computational constraints in epistemic logic
Readings in Formal Epistemology | 2017-04-07 | Paper |
Very improbable knowing
Erkenntnis | 2016-01-27 | Paper |
| Modal Logic as Metaphysics | 2016-01-08 | Paper |
| Modal Logic as Metaphysics | 2014-07-31 | Paper |
In memoriam: Ruth Barcan Marcus, (1921--2012)
The Bulletin of Symbolic Logic | 2013-07-11 | Paper |
Conditionals and actuality
Erkenntnis | 2009-10-09 | Paper |
| scientific article; zbMATH DE number 5238362 (Why is no real title available?) | 2008-02-22 | Paper |
How probable is an infinite sequence of heads?
Analysis | 2007-11-22 | Paper |
Generalizing the Lottery Paradox
The British Journal for the Philosophy of Science | 2007-07-02 | Paper |
| scientific article; zbMATH DE number 2236617 (Why is no real title available?) | 2005-12-08 | Paper |
| Iterated attitudes | 2001-09-14 | Paper |
Bare possibilia
Erkenntnis | 2001-08-23 | Paper |
Continuum many maximal consistent normal bimodal logics with inverses
Notre Dame Journal of Formal Logic | 2001-07-17 | Paper |
| Indefinite extensibility | 2001-04-03 | Paper |
| scientific article; zbMATH DE number 1512637 (Why is no real title available?) | 2000-11-20 | Paper |
Conditionalizing on Knowledge
The British Journal for the Philosophy of Science | 2000-10-10 | Paper |
| scientific article; zbMATH DE number 1512636 (Why is no real title available?) | 2000-10-03 | Paper |
| A note on truth, satisfaction and the empty domain | 2000-08-22 | Paper |
The Contingent A Priori: Has It Anything to Do with Indexicals?
Analysis | 2000-08-22 | Paper |
| On Knowledge of the Unknowable | 2000-08-22 | Paper |
| Quantifiers and Context-Dependence | 2000-08-22 | Paper |
| Wright on the epistemic conception of vagueness | 2000-08-22 | Paper |
| Self-knowledge and embedded operators* | 2000-08-22 | Paper |
| scientific article; zbMATH DE number 1453150 (Why is no real title available?) | 2000-08-02 | Paper |
Strong Boethius' thesis and consequential implication
Journal of Philosophical Logic | 1998-03-12 | Paper |
Inverses for normal modal operators
Studia Logica | 1997-10-26 | Paper |
| scientific article; zbMATH DE number 877757 (Why is no real title available?) | 1996-08-27 | Paper |
How much common belief is necessary for a convention?
Games and Economic Behavior | 1996-07-24 | Paper |
Non-genuine MacIntosh logics
Journal of Philosophical Logic | 1994-08-21 | Paper |
Representing the knowledge of Turing machines
Theory and Decision | 1994-08-16 | Paper |
Some admissible rules in nonnormal modal systems
Notre Dame Journal of Formal Logic | 1994-03-22 | Paper |
An alternative rule of disjunction in modal logic
Notre Dame Journal of Formal Logic | 1992-07-22 | Paper |
On intuitionistic modal epistemic logic
Journal of Philosophical Logic | 1992-06-28 | Paper |
Verificaton, falsification, and cancellation in KT
Notre Dame Journal of Formal Logic | 1990-01-01 | Paper |
Two incomplete anti-realist modal epistemic logics
Journal of Symbolic Logic | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4200165 (Why is no real title available?) | 1988-01-01 | Paper |
First-order logics for comparative similarity
Notre Dame Journal of Formal Logic | 1988-01-01 | Paper |
Assertion, denial and some cancellation rules in modal logic
Journal of Philosophical Logic | 1988-01-01 | Paper |
Invertible definitions
Notre Dame Journal of Formal Logic | 1987-01-01 | Paper |
