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
Auth: seangard@como.maths.usyd.edu.au

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! 

Abstract: 
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
logic.