GSB 2014 PROCEEDINGS: AUTHOR INDEX

Papers Papers with Abstracts Preface Author Index Keyword Index

Shortcuts: A B D F G H K L M N O P R S Z

A
Arthan, Rob	On Affine Logic and Łukasiewicz Logic (PDF, talk)
B
Baldi, Paolo	A Proof Theoretic Approach to Standard Completeness (PDF, talk)
D
Dyckhoff, Roy	Coherentisation of Accessibility Conditions in Labelled Sequent Calculi (PDF)
F
Frittella, Sabine	Display-Type Calculi and Their Cut Elimination Metatheorem (PDF, talk)
G
Gilbert, David	Sequent Systems for Classical Modal Logics (PDF, talk)
Greco, Giuseppe	Display-Type Calculi and Their Cut Elimination Metatheorem (PDF, talk)
H
Haeusler, Hermann	An Intuitionisticaly Based Description Logic (PDF, talk)
Hughes, Dominic	Simpler Proof Net Quantifiers: Unification Nets (Work in Progress) (PDF, talk)
K
Kowalski, Tomasz	Link Formulas in Implication Fragments of Substructural Logics (PDF, talk)
Kurz, Alexander	Display-Type Calculi and Their Cut Elimination Metatheorem (PDF, talk)
L
Lahav, Ori	On the Construction of Analytic Sequent Calculi for Sub-Classical Logics (PDF, talk)
Lellmann, Björn	Comparing Sequent Calculi via Hilbert-Style Axioms (PDF, talk)
M
Maffezioli, Paolo	Sequent Systems for Classical Modal Logics (PDF, talk)
Marin, Sonia	Modular Systems for Intuitionistic Modal Logics in Nested Sequents (PDF, talk)
N
Negri, Sara	Coherentisation of Accessibility Conditions in Labelled Sequent Calculi (PDF)
O
Oliva, Paulo	On Affine Logic and Łukasiewicz Logic (PDF, talk)
P
Palmigiano, Alessandra	Display-Type Calculi and Their Cut Elimination Metatheorem (PDF, talk)
R
Rademaker, Alexandre	An Intuitionisticaly Based Description Logic (PDF, talk)
S
Shamkanov, Daniyar	Lyndon Interpolation for the Modal mu-Calculus (PDF, talk)
Sikimić, Vlasta	Display-Type Calculi and Their Cut Elimination Metatheorem (PDF, talk)
Simpson, Alex	Cyclic Proof for Quantitative Logics (PDF, talk)
Straßburger, Lutz	Modular Systems for Intuitionistic Modal Logics in Nested Sequents (PDF, talk)
Studer, Thomas	On Cuts and Cut-Elimination in Modal Fixed Point Logics (PDF, talk)
Z
Zamansky, Anna	Semantics and Proof Theory in Team Play: The Case of Paraconsistent Logics (PDF, talk)
Zohar, Yoni	On the Construction of Analytic Sequent Calculi for Sub-Classical Logics (PDF, talk)