SUMMER SCHOOL OF LOGIC

[1] Lewis C. I., 1912, MIND, V21, P522

[2] McColl Hugh, 1880, MIND, V5, P45

[3] Mugnai Massimo, 2013, POSSIBILE NECESSARIO

[4] Sangiorgi D., 2012, INTRO BISIMULATION C

[5] On the Origins of Bisimulation and Coinduction [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2009, 31 (04):

[6] Head or tail? DeMorgan on the bounds of traditional logic [J]. HISTORY AND PHILOSOPHY OF LOGIC, 1997, 18 (03) : 123 - 138

[7] van Benthem Johan, 2008, PP200805, P123

[8] [No title captured]

[1] Lewis C. I., 1912, MIND, V21, P522

[2] McColl Hugh, 1880, MIND, V5, P45

[3] Mugnai Massimo, 2013, POSSIBILE NECESSARIO

[4] Sangiorgi D., 2012, INTRO BISIMULATION C

[5] On the Origins of Bisimulation and Coinduction [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2009, 31 (04):

[6] Head or tail? DeMorgan on the bounds of traditional logic [J]. HISTORY AND PHILOSOPHY OF LOGIC, 1997, 18 (03) : 123 - 138

[7] van Benthem Johan, 2008, PP200805, P123

[8] [No title captured]