Speaker: Marianna Girlando (University of Birmingham)
Date and Time: Thursday, April 28th 2022, 16:30-18:00, Amsterdam time.
Venue: online. Click here for the recording of this talk.
Title: Counterfactuals, comparative plausibility and neighbourhoods: from semantics to automated theorem proving.
Abstract. Conditional logics can be used to express counterfactuals (Lewis) or forms of non-monotonic reasoning (Burgess). They are defined by adding to classical propositional logic a two-places modality, the conditional operator. Semantics for conditional logics can be uniformly defined in terms of neighbourhood semantics, generalising Lewis’ sphere models. In this talk, I will show the relations between the conditional operator and a weaker modal operator, the comparative plausibility, that I will use to define analytic proof systems for some of the stronger logics in the conditional family. Then, I will illustrate how these proof systems can be implemented to design automated reasoning tools for conditional logics.
This talk is based on joint work with Bjoern Lellmann, Nicola Olivetti, Gian Luca Pozzato and Stefano Pesce.
The theorem prover is available here: http://126.96.36.199:8000/tuclever/