[Alta-Logic] Category theory and logic talk: Reminder and Next Week

[ggpayett at ucalgary.ca]

Reminder about todays talk at 14:00 by Lionel Nguyen Van Thé, in ICT 616
on Fraisse theory.

Title: Modal Logic: How it Began

Start: 10/15/2008 - 13:00
End: 10/15/2008 - 14:00

Room: ICT 616

Speaker: Krister Segerberg

Abstract:

Modal logic was invented by a philosopher and then developped by
philosophers and mathematicians. Today it has, to a considerable extent,
been taken over by computer scientists. I will try to say something about
all this.

R

-- 
Gillman Payette
Department of Philosophy
University of Calgary
2500 University Drive NW
Calgary, AB T2N 1N4, Canada
Ph 403.220.7518
Fax 403.289.5698