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
Chair:
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
Chair:
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
Chair:
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
Chair:
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) |