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

Yang, F. (Puhuja)

Aktiviteetti: Puhe- tai esitystyypitKutsuesitelmä

Aikajakso25 heinäkuuta 2018 - 27 heinäkuuta 2018
PidettyInquisitive Logic Workshop
Tapahtuman tyyppiKonferenssi
SijaintiAmsterdam, Alankomaat
Tunnustuksen arvoKansainvälinen