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 • 14:30 - 16:30
Proof theory of modal and non-classical logics II

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

07 August 02:30 PM – 04:30 PM

SESSION MOVED to ROOM 1!

ORGANIZERS

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

SPEAKERS AND TITLES

14.30–15.00 Unified Correspondence as a Proof-Theoretic Tool, Alessandra Palmigiano, Delft University of Technology

15.00–15.30 30 min break (Due to cancellation of Proof theory for non-classical Euclid’s geometrical logic, Pierluigi Graziani, University of Chieti-Pescara)

15.30–16.00 Proof theory for first-order logic of social choice, Paolo Maffezioli, University of Bologna

16.00–16.30 Proof theory of non-normal modal logics, Eugenio Orlandelli, University of Bologna

Chairs
GC

Giovanna Corsi

University of Bologna
avatar for Sara Negri

Sara Negri

University of Helsinki

Speakers


Friday August 7, 2015 14:30 - 16:30
Main Building, Room 1

Attendees (13)