Workshop PROOF THEORY and MODAL LOGIC

2 December 2016 from 9:30am to 6:00pm

 

PROOF THEORY and MODAL LOGIC

 

Aula Arturo Graf

Rettorato dell'Università di Torino

via Verdi 8, Torino

 

 

PROGRAM

 

 9.30 | Sara NEGRI (University of Helsinki)

Knowledge and belief: From models to proofs

 

10.30 | Thomas STUDER (Universität Bern)

Proof theory of common knowledge

 

11.30 | coffee break

 

11.45 | Anna ZAMANSKY (University of Haifa)

On paraconsistent logics and their relations to modal logics

 

13.00 | lunch

 

14.30 | Heinrich WANSING (Ruhr-Universität Bochum)

Disentangling FDE-based paraconsistent modal logics

 

15.30 | coffee break

 

15.45 | Roman KUZNETS (Technische Universität Wien)

Syntactic interpolation: Limits and challenges

 

16.45 | coffee break

 

17.00 | Reinhard MUSKENS (Tilburg University)

Interpolation in 16-valued trilattice logics

 

 

Organization: Paolo Maffezioli (Università di Torino).