• Verbal Disagreement and Semantic Plans
  Erkenntnis (forthcoming) || preprint
  Synopsis: A unified theory of verbal disputes, illustrated with colorful diagrams!
• Idle Questions (with Jens Kipper and Zeynep Soysal)
  Journal of Philosophy (forthcoming) || preprint (coming soon)
  Synopsis: A critique of question-sensitive accounts of belief.
• 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 B: Extensions and Restrictions
  Review of Symbolic Logic (forthcoming) || preprint
  Synopsis: Some more completeness theorems for hyperlogic, with applications to counterpossibles and logical omniscience.
• 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 (2022) || 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.
  *Between when the online-first version came out and when the article was assigned a volume and issue number, many formatting and typesetting errors were introduced to the publication. (Don’t ask me how…) These errors make the substance of the paper hard to read. Please consult the preprint for a cleaner version.
• Modeling Metadisputes
  23rd Amsterdam Colloquium (2022)
  Synopsis: Can a dispute over whether a dispute is verbal be verbal? Yes.
• The Role of Questions, Circumstances, and Algorithms in Belief (with Jens Kipper and Zeynep Soysal)
  23rd Amsterdam Colloquium (2022)
  Synopsis: Question-sensitive accounts of belief do not solve the problem of logical omniscience. Maybe a more general account can.
• 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
  22nd 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.

Miscellaneous

• Beyond the Imitation Game: Quantifying and Extrapolating the Capabilities of Language Models (A. Srivastava et al. 2022)
  Description of the project: here
  Task contributed: Analytic Entailment (with Rachel Rudolph and Ethan Jerzak)