VSL 2014: VIENNA SUMMER OF LOGIC 2014
GSB PROGRAM
Sunday, July 13th, 2014

View this program: with abstractssession overviewtalk overviewside by side with other conferences

09:00-10:15 Session 23B: Opening, Invited Talk, and Contributed Talk
Location: FH, Seminarraum 138A
09:00
Welcome (abstract)
09:05
Semantics and Proof Theory in Team Play: the case of Paraconsistent Logics (abstract)
09:50
On the Construction of Analytic Sequent Calculi for Sub-classical Logics (abstract)
10:15-10:45Coffee Break
10:45-12:50 Session 26G: Contributed Talks
Location: FH, Seminarraum 138A
10:45
Comparing Sequent Calculi via Hilbert-style Axioms (abstract)
11:10
Sequent Systems for Classical Modal Logics (abstract)
11:35
Lyndon Interpolation for the Modal Mu-Calculus (abstract)
12:00
On cuts and cut-elimination in modal fixed point logics (abstract)
12:25
Display-type calculi and their cut elimination metatheorem (abstract)
13:00-14:30Lunch Break
14:30-16:05 Session 31E: Invited Talk and Contributed Talks
Location: FH, Seminarraum 138A
14:30
Cyclic proof for quantitative logics (abstract)
15:15
Modular Systems for Intuitionistic Modal Logics in Nested Sequents (abstract)
15:40
An Intuitionisticaly based Description Logic (abstract)
16:00-16:30Coffee Break
16:30-18:10 Session 34F: Contributed Talks
Location: FH, Seminarraum 138A
16:30
Link formulas in implication fragments of substructural logics (abstract)
16:55
A proof theoretic approach to standard completeness (abstract)
17:20
On Affine Logic and Łukasiewicz Logic (abstract)
17:45
Simpler Proof Net Quantifiers: Unification Nets (Work in Progress) (abstract)