[Alta-Logic] Talk today: Segerberg, Modal Logic: How it Began (1pm, 616 ICT)

[Richard Zach]

Modal Logic: How it Began (Segerberg)
Start: 10/15/2008 - 13:00
End: 10/15/2008 - 14:00
Speaker: Krister Segerberg

Room: ICT 616

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.