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 • 17:00 - 18:30
Proof theory of modal and non-classical logics III

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

07 August 05:00 PM – 06:30 PM

SESSION MOVED to ROOM 1!


ORGANIZERS

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

SPEAKERS AND TITLES

PLEASE NOTE: the presentations of Olivetti and Kurokawa have been interchanged (4 August 2015)

17.00–17.30 Proof theory for neighborhood semantics, Sara Negri, University of Helsinki

17.30–18.00 Internal and External Calculi for conditional logicsNicola Olivetti, Aix-Marseille University

18.00–18.30 Labelled sequent calculi for substructural logics I: Relevant logics, Hidenori Kurokawa, University of Helsinki




Chairs
GC

Giovanna Corsi

University of Bologna
avatar for Sara Negri

Sara Negri

University of Helsinki

Speakers
HK

Hidenori Kurokawa

University of Helsinki



Friday August 7, 2015 17:00 - 18:30
Main Building, Room 1

Attendees (17)