Torben Braüner (Roskilde) gives a talk at the MCMP Colloquium (17 January, 2013) titled "Hybrid-Logical Proof Theory: With an Application to False-Belief Tasks". Abstract: Hybrid logic is an extension of ordinary modal logic which allows explicit reference to individual points in a model (where...

Grigory K. Olkhovikov (Ural Federal University Yekaterinburg) gives a talk at the MCMP Colloquium (25 April, 2013) titled "On flattening rules in natural deduction calculus for intuitionistic propositional logic". Abstract: Standard versions of natural deduction calculi consist of so called...

Chris Fermüller (Vienna) gives a talk at the MCMP Colloquium (2 May, 2013) titled "Semantic games and hypersequents: a case study in many valued reasoning". Abstract: For a quite a while it had been an open problem whether there is an analytic (cut-free) calculus for infinite valued Lukasiewicz...