14 aprile 2023: Pietro Galliani: Logics of Dependence and Independence
Pietro Galliani - University of Insubria
Logics of Dependence and Independence
14 aprile 2023: Piattaforma Zoom, ore 14:00-16:00 (Milan time).
In order to obtain the link for the webinar, please write to: firstname.lastname@example.org
Logics of Dependence and Independence are generalizations of First Order Logic that allow for the specification of more general patterns of interaction between the possible values of variables. The semantics of these logics may be defined via a generalization of Tarski's Semantics in which formulas are satisfied by sets of assignments, or equivalently via an imperfect-information variant of the Game-Theoretic Semantics for First Order Logic. Much is still not known about the classification of these logics and about the study of their expressive capabilities. In this talk, I will discuss some developments in this area, focusing in particular on the problem of identifying which ones of these logics are reducible to First Order Logic
La conferenza si terrà in inglese.
La partecipazione alla conferenza è fortemente consigliata agli allievi della Scuola di Dottorato in Filosofia e Scienze dell’Uomo e della Scuola di Dottorato di Mente, Cervello e Ragionamento.
La partecipazione è aperta a tutti gli interessati.