2 Dec 2016
Turin, Italy
WORKSHOP ON PROOF THEORY AND MODAL LOGIC http://www.llc.unito.it/eventi/workshop-proof-theory-and-modal-logic Center for Logic, Language, and Cognition http://www.llc.unito.it/ Turin, December 2, 2016 SCHEDULE 09:30 ? 10:30 Sara Negri: Knowledge and belief: from models to proofs 10:30 ? 11:30 Thomas Studer: Proof theory of common knowledge 11:30 ? 11:45 coffee break 11:45 ? 12:45 Anna Zamansky: On paraconsistent logics and their relations to modal logics 13:00 ? 14:30 lunch 14:30 ? 15:30 Heinrich Wansing: Disentangling FDE-based paraconsistent modal logics 15:30 ? 15:45 coffee break 15:45 ? 16:45 Roman Kuznets: Syntactic interpolation: limits and challanges 16:45 ? 17:00 coffee break 17:00 ? 18:00 Reinhard Muskens: Interpolation in 16-valued trilattice logics Info: Paolo Maffezioli (paolo.maffezioli@unito.it) -- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html Archive: http://www.illc.uva.nl/LogicList/ provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam