• PL 68 (Pietari Kalmin katu 5)

    00014

    Suomi

20112019
Jos olet muokannut tietoja Puressa, ne näkyvät pian tässä.

Aktiviteetit 2018 2018

  • 2 Kutsuesitelmä

Axiomatizing (essentially) first-order consequences in first-order logics of dependence and independence

Fan Yang (Puhuja)
25 heinäkuuta 201827 heinäkuuta 2018

Aktiviteetti: Puhe- tai esitystyypitKutsuesitelmä

Analyzing Arrow's Theorem Through Dependence and Independence Logic

Fan Yang (Puhuja)
16 toukokuuta 201819 toukokuuta 2018

Aktiviteetti: Puhe- tai esitystyypitKutsuesitelmä