SMS scnews item created by Sean Gardiner at Mon 7 Sep 2015 1221
Type: Seminar
Distribution: World
Expiry: 11 Sep 2015
Calendar1: 10 Sep 2015 1300-1400
CalLoc1: New Law 026

SUMS: McGregor -- Modal Logic: Formalising the Necessary and Possible

This week, Honours student Caity McGregor will be giving the SUMS talk.  Pizza and
drinks will be available afterwards, as always! 

Having studied maths at uni, most of us are familiar with First Order Logic
without having considered the formalisation of it.  Stepping back to Propositional Logic
and then extending to Modal Logic, we will explore some beautiful maths that models
necessity and possibility, and hear about some of the core results of this non-classical

ball Calendar (ICS file) download, for import into your favourite calendar application
ball UNCLUTTER for printing
ball AUTHENTICATE to mark the scnews item as read
School members may try to .