Talk by Marianna Girlando at LUCI seminar
Title: Conditional logics and labelled proof systems (an introduction) Abstract: Conditional logics, as introduced by David Lewis in 1973, enrich the language of classical propositional logic with a two-places modal operator, the conditional, suitable to represent fine-grained notions of conditionality. After introducing conditional logics and their semantics, that I will define in terms of neighborhood […]