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…[...]
Read More