VSL 2014: VIENNA SUMMER OF LOGIC 2014

GSB ON SUNDAY, JULY 13TH: TALK VIEW

View: with abstractssession overviewside by side with other conferences

9:00
9:30
10:00
10:30
11:00
11:30
12:00
12:30
13:00
13:30
14:00
14:30
15:00
15:30
16:00
16:30
17:00
17:30
18:00
09:00-09:05
Welcome
Organizers
09:05-09:50
Semantics and Proof Theory in Team Play: the case of Paraconsistent Logics
Anna Zamansky
09:50-10:15
On the Construction of Analytic Sequent Calculi for Sub-classical Logics
Ori Lahav, Yoni Zohar
10:45-11:10
Comparing Sequent Calculi via Hilbert-style Axioms
Björn Lellmann
11:10-11:35
Sequent Systems for Classical Modal Logics
Paolo Maffezioli, David Gilbert
11:35-12:00
Lyndon Interpolation for the Modal Mu-Calculus
Daniyar Shamkanov
12:00-12:25
On cuts and cut-elimination in modal fixed point logics
Thomas Studer
12:25-12:50
Display-type calculi and their cut elimination metatheorem
G. Greco, S. Frittella, A. Kurz, A. Palmigiano, V. Sikimić
14:30-15:15
Cyclic proof for quantitative logics
Alex Simpson
15:15-15:40
Modular Systems for Intuitionistic Modal Logics in Nested Sequents
Sonia Marin, Lutz Straßburger
15:40-16:05
An Intuitionisticaly based Description Logic
Alexandre Rademaker, Hermann Haeusler
16:30-16:55
Link formulas in implication fragments of substructural logics
Tomasz Kowalski
16:55-17:20
A proof theoretic approach to standard completeness
Paolo Baldi
17:20-17:45
On Affine Logic and Łukasiewicz Logic
Rob Arthan, Paulo Oliva
17:45-18:10
Simpler Proof Net Quantifiers: Unification Nets (Work in Progress)
Dominic Hughes
10:15-10:45 Coffee Break
13:00-14:30 Lunch Break
16:00-16:30 Coffee Break
Disclaimer | Powered by EasyChair Smart Program