• What Topic Continuity Problem?
  Inquiry (forthcoming) || preprint
  Synopsis: How can you engineer a concept without changing the topic? It’s easy, just be clear about what the topic is.
• The Logic of Hyperlogic. Part A: Foundations
  Review of Symbolic Logic (forthcoming) || preprint | supplement
  Synopsis: Some completeness theorems for hyperlogic, a logic for reasoning about other logics.
• Does Chance Undermine Would?
  Mind (forthcoming) || preprint
  Synopsis: A triviality result for counterfactual skeptics (and everyone else). Or: the main argument for counterfactual skepticism only shows most counterfactuals are chancy, not that they’re false.
• The Dynamics of Argumentative Discourse (with Carlotta Pavese)
  Journal of Philosophical Logic (2022) || preprint
  Synopsis: A dynamic semantics for argument connectives, like ‘therefore’, with applications to conditionals, imperatives, and induction.
• Logic Talk
  Synthese (2021) || preprint
  Synopsis: A hyperintensional expressivist semantics for regimenting claims about logic in the object language. No impossible worlds required.
• Counterpossibles
  Philosophy Compass (2021) || preprint
  Synopsis: An overview of the counterpossibles literature.
• Counterlogicals as Counterconventionals (with Ethan Jerzak)
  Journal of Philosophical Logic (2021) || preprint
  Synopsis: Counterlogicals (and maybe all counterpossibles?) are only nonvacuous when interpreted as counterconventionals. Plus, a modern version of logical expressivism.
• Comparing Conventions (with Rachel Rudolph)
  SALT (2020)
  Synopsis: Metalinguistic comparatives are more expressions of comparative linguistic commitments than anything else.
• Against Conventional Wisdom (with Ethan Jerzak and Rachel Rudolph)
  Philosophers’ Imprint (2020)
  Synopsis: Conventional wisdom has it that truth is always evaluated relative to our conventions. Conventional wisdom is wrong.
• On the Substitution of Identicals in Counterfactual Reasoning
  Noûs (2020) || preprint
  Synopsis: If counterpossibles are opaque, then so are ordinary counterfactuals. This suggests that counterfactuals only have an epistemic reading.
• A Two-Dimensional Logic for Two Paradoxes of Deontic Modality (with Melissa Fusco)
  The Review of Symbolic Logic (2020) || preprint
  Synopsis: An axiomatization of Fusco’s two-dimensional deontic logic that solves Ross’s puzzle and the free choice problem.
• Hyperlogic: A System for Talking about Logics
  Amsterdam Colloquium (2019)
  Synopsis: A new formal system for talking about other logics.
• Counteridenticals
  The Philosophical Review (2018) || preprint | counteridenticals in the wild
  Synopsis: If you were me, you too would think identity is contingent.
• On the Expressive Power of First-Order Modal Logic with Two-Dimensional Operators
  Synthese (2018) || preprint
  Synopsis: A series of results comparing the expressive power of languages with two-dimensional operators.
• On the Concept of a Notational Variant
  LORI-VI (2017) || preprint
  Synopsis: There’s no single correct definition of a notational variant. Plus, a proof that there is a bijective translation from first-order logic into propositional logic that preserves entailment and nonentailment.
• The Problem of Cross-world Predication
  Journal of Philosophical Logic (2016) || preprint
  Synopsis: An analysis of cross-world predication (“I could have been taller than I am”) and cross-world quantification (“Everyone rich could have been poor”).
• On the Expressivity of First-Order Modal Logic with “Actually”
  LORI-V (2015) || preprint
  Synopsis: An earlier version of my 2016 Synthese paper.

Dissertation

• What Can You Say? Measuring the Expressive Power of Languages
  Group in Logic and the Methodology of Science. University of California, Berkeley. (2018)
  Synopsis: A systematic study of the different ways to measure expressive power, with some applications to metametaphysics.