Non-classical Logics: from Foundations to Applications

24 April 2008 - 26 April 2008

Timetable

Date	Time	Speaker	Room
Thu 24 Apr	9:00- 10:00	Registration and Greetings
	10:00- 11:00	Hàjek, Pter "Complexity of fuzzy logic - an introduction"
	11:00- 11:30	Coffee Break
	11:30- 12:30	Baaz, Matthias "The S5 analoguous fragment of fuzzy logics"
	14:30- 15:30	Marra, Vincenzo "De Finetti's coherence criterion and finitely additive measures on algebras of many-valued logics"
	15:30- 16:30	Aguzzoli, Stefano "De Finetti's coherence criterion and finitely additive measures on algebras of many-valued logics - Part 2: The case of Gödel logic"
	16:30- 17:00	Coffee Break
	17:00- 18:00	Bova, Simone "Functional Representation of BL-Algebras"
Fri 25 Apr	9:00- 10:00	Williamson, Jon "Probabilistic Logic and Probabilistic Networks"
	10:00- 11:00	Flaminio, Tommaso "Probability of many-valued events: a many-valued logical approach"
	11:00- 11:30	Coffee Break
	11:30- 12:30	Ciabattoni, Agata "From axioms to analytic rules in nonclassical logics"
	14:30- 15:30	van der Hoek, Wiebe "On Modal Logics for Cooperation and Coalition"
	15:30- 16:30	Fermüller, Christian "Dialogue games as foundations of non-classical logics"
Sat 26 Apr	9:00- 10:00	Caleiro, Carlos "A bird's eye view on the joys and troubles of combined logics"
	10:00- 11:00	Wheeler, Gregory "Rethinking Psychologism in Logic"
	11:00- 11:30	Coffee Break
	11:30- 12:30	Leitsch, Alexander "CERES: Analysis of the fifth Proof of the Infinity of Primes"
	14:30- 15:30	Paris, Jeff "New Wave Inductive Logic"
	15:30- 17:00	Round table