Loading…
This event has ended. View the official site or create your own event → Check it out
This event has ended. Create your own

View analytic
Friday, August 7 • 11:00 - 13:00
Proof theory of modal and non-classical logics I

Sign up or log in to save this to your schedule and see who's attending!

07 August 11:00 AM – 01:00 PM

SESSION MOVED to ROOM 1!


ORGANIZERS

Giovanna Corsi, University of Bologna
Sara Negri, University of Helsinki

SPEAKERS AND TITLES

11.00–11.30 Using Assumptions in Gentzen-type Systems, Arnon Avron, Tel-Aviv University

11.30–12.00 Uniform interpolation and proof systems, Rosalie Iemhoff, Utrecht University

12.00–12.30 Natural deduction for bi-connexive logic, Heinrich Wansing, Ruhr-University Bochum

12.30–13.00 Mimamsa deontic logic: proof theory and applications, Agata Ciabattoni, Elisa Freschi, Francesco A. Genco, and Bjorn Lellmann, Vienna University of Technology, AUSTRIA

Chairs
GC

Giovanna Corsi

University of Bologna
avatar for Sara Negri

Sara Negri

University of Helsinki

Speakers


Friday August 7, 2015 11:00 - 13:00
Main Building, Room 1

Attendees (22)