GSB 2014 PROCEEDINGS

Editors: Roman Kuznets and George Metcalfe

Authors	Title	Talk
Alex Simpson	Cyclic Proof for Quantitative Logics	Jul 13 14:30
Anna Zamansky	Semantics and Proof Theory in Team Play: The Case of Paraconsistent Logics	Jul 13 09:05
Rob Arthan and Paulo Oliva	On Affine Logic and Łukasiewicz Logic	Jul 13 17:20
Paolo Baldi	A Proof Theoretic Approach to Standard Completeness	Jul 13 16:55
Roy Dyckhoff and Sara Negri	Coherentisation of Accessibility Conditions in Labelled Sequent Calculi
Giuseppe Greco, Sabine Frittella, Alexander Kurz, Alessandra Palmigiano and Vlasta Sikimić	Display-Type Calculi and Their Cut Elimination Metatheorem	Jul 13 12:25
Dominic Hughes	Simpler Proof Net Quantifiers: Unification Nets (Work in Progress)	Jul 13 17:45
Tomasz Kowalski	Link Formulas in Implication Fragments of Substructural Logics	Jul 13 16:30
Ori Lahav and Yoni Zohar	On the Construction of Analytic Sequent Calculi for Sub-Classical Logics	Jul 13 09:50
Björn Lellmann	Comparing Sequent Calculi via Hilbert-Style Axioms	Jul 13 10:45
Paolo Maffezioli and David Gilbert	Sequent Systems for Classical Modal Logics	Jul 13 11:10
Sonia Marin and Lutz Straßburger	Modular Systems for Intuitionistic Modal Logics in Nested Sequents	Jul 13 15:15
Alexandre Rademaker and Hermann Haeusler	An Intuitionisticaly Based Description Logic	Jul 13 15:40
Daniyar Shamkanov	Lyndon Interpolation for the Modal mu-Calculus	Jul 13 11:35
Thomas Studer	On Cuts and Cut-Elimination in Modal Fixed Point Logics	Jul 13 12:00