Dear all,
We will have our next LIRa session tomorrow, on Thursday, 28 April 16:30.
Please use our recurring zoom link: https://uva-live.zoom.us/j/88142993494?pwd=d1BsQWR4T2UyK0Job29YNThjaGRkUT09 (Meeting ID: 881 4299 3494, Passcode: 352984)
You can find the details of the talk below.
Speaker: Marianna Girlando (University of Birmingham)
Date and Time: Thursday, April 28th 2022, 16:30-18:00, Amsterdam time.
Venue: online.
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://193.51.60.97:8000/tuclever/
Hope to see you there!
The LIRa team