Proof Theory for Contingent Existence Rohan French (Monash University)
June 1, 2012, 12:00pm - 2:00pm
School of Historical and Philosophical Studies, University of Melbourne
Common Room, Old Quad, University of Melbourne (Parkville)
Melbourne
Australia
Organisers:
University of Melbourne
Topic areas
Details
We investigate a way to give a sequent calculus for quantified modal logic which allows for contingent existence by deploying variables in a scope-marking, as well as individual representing role.
Registration
No
Who is attending?
No one has said they will attend yet.
Will you attend this event?