Logic workshop 2016

Date: January 8th, 2016
Location: Room C-LES 307, on the Auckland Park Kingsway Campus, University of Johannesburg

Schedule

9:45 - 10:30 : Invited talk, G. Greco, Logic for organizations, slides
10:30 - 11:15 : Invited talk, S. Frittella, Intuitionistic Probabilistic Dynamic Logic, slides

11:15 - 11:45 : break

11:45 - 12:15 : A. Tzimoulis, Morphisms and universal model for positive IPC, slides
12:15 - 12:45 : Z. Zhao, Generalized Ultraproduct and Kirman-Sondermann Correspondence for Vote Abstention, slides

12:45 - 14:30 : lunch

14:30 - 15:00 : C. Robinson, Extensions of hybrid S4 with the finite model property, slides
15:00 - 15:30 : C. Le Roux, Correspondence Theory for Many-Valued Modal Logics, slides

15:30 - 15:50 : break

15:50 - 16:35 : Invited talk, F. Yang, Dependence-independence logics and Matthew effects, slides
16:35 - 17:05 : M. Piazzai, Logics for categorization, slides