VSL 2014: VIENNA SUMMER OF LOGIC 2014
TALK AUTHOR INDEX
Shortcuts: ABFGHKLMOPRSZ
A
Arthan, Rob
On Affine Logic and Łukasiewicz Logic
B
Baldi, Paolo
A proof theoretic approach to standard completeness
F
Frittella, Sabine
Display-type calculi and their cut elimination metatheorem
G
Gilbert, David
Sequent Systems for Classical Modal Logics
Greco, Giuseppe
Display-type calculi and their cut elimination metatheorem
H
Haeusler, Hermann
An Intuitionisticaly based Description Logic
Hughes, Dominic
Simpler Proof Net Quantifiers: Unification Nets (Work in Progress)
K
Kowalski, Tomasz
Link formulas in implication fragments of substructural logics
Kurz, Alexander
Display-type calculi and their cut elimination metatheorem
L
Lahav, Ori
On the Construction of Analytic Sequent Calculi for Sub-classical Logics
Lellmann, Björn
Comparing Sequent Calculi via Hilbert-style Axioms
M
Maffezioli, Paolo
Sequent Systems for Classical Modal Logics
Marin, Sonia
Modular Systems for Intuitionistic Modal Logics in Nested Sequents
O
Oliva, Paulo
On Affine Logic and Łukasiewicz Logic
Organizers,
Welcome
P
Palmigiano, Alessandra
Display-type calculi and their cut elimination metatheorem
R
Rademaker, Alexandre
An Intuitionisticaly based Description Logic
S
Shamkanov, Daniyar
Lyndon Interpolation for the Modal Mu-Calculus
Sikimić, Vlasta
Display-type calculi and their cut elimination metatheorem
Simpson, Alex
Cyclic proof for quantitative logics
Straßburger, Lutz
Modular Systems for Intuitionistic Modal Logics in Nested Sequents
Studer, Thomas
On cuts and cut-elimination in modal fixed point logics
Z
Zamansky, Anna
Semantics and Proof Theory in Team Play: the case of Paraconsistent Logics
Zohar, Yoni
On the Construction of Analytic Sequent Calculi for Sub-classical Logics