Publications

Probing the quantitative-qualitative divide in probabilistic reasoning (joint work with Thomas Icard, Duligur Ibeling and Milan Mossé), The Annals of Pure and Applied Logic [journal link][arXiv preprint]. This paper explores the space of (propositional) probabilistic logical languages, ranging from a purely ‘qualitative’ comparative language to a highly ‘quantitative’ language involving arbitrary polynomials over probability terms. We identify a robust distinction in the space of probability logics between merely additive and multiplicative systems and show that the distinction tracks a divide in computational complexity. We also address axiomatic questions, offering several new completeness results as well as a proof of non-finite-axiomatizability for comparative probability.

Probabilistic stability, AGM revision operators and maximum entropy, The Review of Symbolic Logic, 15(3), 553-590 [journal link]. In this paper, I show that AGM revision operators emerge from the stability rule for acceptance and the principle of maximum entropy.

When random graphs are safe for travel: a note on the sabotage game, forthcoming in: van Benthem, J. and Liu, F. (eds.), Graph Games and Logic Design: Recent Developments and Future Directions, Springer Nature. In this note, I study the sabotage game played on random (multi)graphs as given by the Gilbert-Erdős–Rényi model. I show that Traveller almost surely has a winning strategy in the model with fixed edge probability, and give asymptotic growth bounds on the threshold function for sure-win graphs in the model with a decreasing edge probability (where Traveller has a winning strategy for any choice of start and goal vertices). I conclude with a few remarks on the logical characterisability of winning strategies, and show that the existence of a winning strategy for Traveller is not first-order characterisable over finite models.

The Modal Logic of Stepwise Removal (joint work with Johan van Benthem and Francesca Zaffora Blando), The Review of Symbolic Logic, 15(1), 36-63 [journal link][arXiv preprint]. We study a modal logic of stepwise removal of objects, giving a completeness theorem and analysing its satisfiability and model-checking complexity, in an effort to explain the jump in complexity between dynamic epistemic logics of model transformations and logics of freely chosen graph changes that get registered in a growing memory.

The Modal Logics of the Poison Game (joint work with Carlos Areces and Francesca Zaffora Blando, published version here), in: Liu F., Ono H., Yu J. (eds.), Knowledge, Proof and Dynamics (pp. 3-23), Logic in Asia: Studia Logica Library, Springer: Singapore. We study dynamic logics designed to model the poison game, a sequential two-player game played on graphs: we give results on their decidability, expressive power, and model-checking complexity.

In preparation

Probabilistic stability and statistical learning. In this paper, I study the behaviour of Leitgeb’s stability rule for acceptance on Bayesian statistical models. I show that, for a very wide class of probabilistic learning problems, Leitgeb's rule yields a notion of acceptance that either fails to be conjunctive (accepted hypotheses are not closed under finite conjunctions) or is trivial (only hypotheses with probability one are accepted). An analogous result also affects refined notions of stability which take into account the evidence structure in the learning problem at hand. An analysis of the counterexamples exhibits a serious tension: in statistical learning, certain properties of priors that are conducive to inductive learning—open-mindedness, as well as certain symmetries in the agent’s probability assignments—act against conjunctive belief.

Acceptance and invariance on atomless spaces. A theorem by Smith generalises a form of the Lottery Paradox to atomless probability spaces, revealing an important conflict between certain invariance properties of rational acceptance and logical closure requirements on accepted hypotheses. I strengthen Smith’s result and then consider a simple strategy for evading both impossibility theorems. The strategy consists in using refined acceptance rules that depend on the learning problem at hand, where acceptance is sensitive to the learning protocol being modelled (for instance, the acceptance of a hypothesis can depend not only on the agent's probability measure, but also on the structure of the observable data in the given experimental setup). While these rules escape Smith’s result, I show that they are subject to another limiting theorem in this learning-theoretic setting. I prove that, on learning problems based on standard Borel probability spaces, sufficiently invariant acceptance rules are either (1) not conjunctive, (2) inconsistent, or (3) trivial in a learning-theoretic (topological) sense. These results raise a number of questions about the context-sensitivity of acceptance, the aggregation of uncertain information in highly symmetric probability models, and the relationship between acceptance rules and statistical testing procedures.

A representation theorem for probabilistically stable sets. I give a representation theorem for strongest stable set operators on finite probability spaces. This result yields a characterisation, in terms of selection functions, of Bayesian belief revision operators generated by Leitgeb’s stability rule, and gives a numerical representability criterion for a class of simple voting games. The construction yields a more general result, giving sufficient conditions for the joint representation of pairs of (respectively, strict and non-strict) comparative probability orders.

Logics of closures and kernels. This paper is a study of bimodal logics of lower and upper approximation operators on Boolean algebras, where an element of a Boolean algebra is approximated from below and from above, respectively, by closure and kernel operators generated by a substructure of the algebra. Each class of substructures generates a different class of algebraic approximation operators. For each class of substructures I consider, I provide a representation theorem which characterises the corresponding class of approximation operators, and prove a completeness theorem, identifying the corresponding bimodal logic. These approximation semantics allow to recover a natural family of modal systems: the fusions S4 + S4 and EMNT4 + EMNT4, the temporal logic S4t, as well as S4 and S5 are all shown to be logics of approximation operators. The completeness proofs involve an investigation of Tarski-like dualities for closure and kernel operators, and of the relation between approximation operators, closure-kernel algebras and bitopologies, yielding as corollary the result that S4+S4 is the complete logic of pairwise zero-dimensional bitopological spaces.

Theses

Acceptance and Approximation: studies on probabilistic stability, acceptance rules on atomless spaces, and algebraic logics of approximation. My PhD dissertation, written under the supervision of Thomas Icard at Stanford University. Dissertation committee: Thomas Icard, Johan van Benthem, Brian Skyrms, and Persi Diaconis.

Probabilistic stability: dynamics, nonmonotonic logics, and stable revision. My MSc thesis, written under the supervision of Alexandru Baltag. (MSc Logic, Mathematics track, Institute for Logic, Language and Computation, University of Amsterdam).

Expository

Measurable Cardinals and Scott’s Theorem. Slides from a presentation at the Stanford Mathematical Logic Seminar, March 2015.

Ultraproducts in model theory. Slides from a presentation at the Mathematical Stuctures in Logic seminar at the University of Utrecht, May 2014.