Aktiviteter per år
Aktiviteter
Sökresultat
-
Sequent calculi for logics of agency: The deliberative STIT
Negri, S. (!!Speaker)
12 nov. 2019Aktivitet: Typer för tal eller presentation › !!Invited talk
-
Remembering Roy Dyckhoff
Negri, S. (!!Speaker) & Graham-Lengrand, S. (!!Speaker)
3 sep. 2019Aktivitet: Typer för tal eller presentation › !!Invited talk
-
Unveiling the constructive core of classical theories: A contribution to 90 years of Glivenko's theorem
Negri, S. (!!Speaker)
2 maj 2019Aktivitet: Typer för tal eller presentation › !!Invited talk
-
Geometric rules in infinitary logic
Negri, S. (!!Speaker)
15 okt. 2012Aktivitet: Typer för tal eller presentation › !!Invited talk