Sched.com Conference Mobile Apps
CLMPS 2015
has ended
Create Your Own Event
CLMPS 2015
Schedule
Simple
Expanded
Grid
By Venue
Speakers
Assistants
Attendees
Search
menu
Menu
Schedule
Speakers
Assistants
Attendees
Search
Back To Schedule
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, view media, leave feedback and see who's attending!
Tweet
Share
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 logics
,
Nicola 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
Sara Negri
University of Helsinki
Speakers
HK
Hidenori Kurokawa
University of Helsinki
NO
Nicola Olivetti
Abstracts Proof theory of modal and non classical logics
pdf
Friday August 7, 2015 17:00 - 18:30 EEST
Main Building, Room 1
Affiliated Meetings
,
A2. Philosophical Logic
Attendees (0)