Please note that this newsitem has been archived, and may contain outdated information or links.
31 October - 3 November 2023, Workshop on Proof Theory, Modal Logic and Reflection Principles (Wormshop 2023), Bern, Switzerland
The tradition of modal logics inspired by the notion of formal proof dates back to Gödel, but their study has gained great momentum in the last decade due to novel applications in the foundations of mathematics. Their study moreover requires the interaction of several disciplines in mathematical logic and beyond, including computational logic, proof theory, and point-set topology.
The aim of this workshop is to bring together experts in relevant fields in order to discuss recent advances and foster new collaborations.
Abstracts for contributed talks may be submitted via EasyChair. The abstract should be uploaded as pdf file, the length should not exceed one page. Topics include but are not restricted to: Provability logics and algebras, Lightweight fragments of modal logics, Proof theory and ordinal analysis, Weak and strong systems of arithmetic, Modalities in topology and set theory, Justification logics and logics of proofs, and Computability and complexity.
Please note that this newsitem has been archived, and may contain outdated information or links.