Aktiviteter per år
Aktiviteter
Sökresultat
-
A proof-theoretic approach to formal epistemology
Pavlovic, E. (!!Speaker) & Negri, S. (!!Speaker)
21 sep. 2020Aktivitet: Typer för tal eller presentation › !!Oral presentation
-
Extending the scope of Glivenko’s theorem
Negri, S. (!!Speaker)
9 aug. 2019Aktivitet: Typer för tal eller presentation › !!Oral presentation
-
Syntax for semantics
Negri, S. (!!Invited speaker)
12 aug. 2019Aktivitet: Typer för tal eller presentation › !!Oral presentation
-
An inferential treatment of deliberative STIT and other agentive modalities
Negri, S. (!!Speaker)
13 jan. 2018Aktivitet: Typer för tal eller presentation › !!Oral presentation
-
Proof-theoretical methods for counterfactual reasoning
Negri, S. (!!Speaker)
5 nov. 2017 → 11 nov. 2017Aktivitet: Typer för tal eller presentation › !!Oral presentation
-
A proof-theoretic approach to formal epistemology
Negri, S. (!!Speaker)
25 sep. 2017 → 28 sep. 2017Aktivitet: Typer för tal eller presentation › !!Oral presentation
-
What is philosophical logic?
Negri, S. (!!Speaker)
18 maj 2017Aktivitet: Typer för tal eller presentation › !!Oral presentation
-
Reasoning with counterfactual scenarios: from models to proofs
Negri, S. (!!Speaker)
18 aug. 2017Aktivitet: Typer för tal eller presentation › !!Oral presentation
-
Un approccio dimostrazionistico all’epistemologia formale
Negri, S. (!!Speaker)
19 okt. 2017Aktivitet: Typer för tal eller presentation › !!Oral presentation