**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)