VSL 2014: VIENNA SUMMER OF LOGIC 2014
NCPROOFS PROGRAM
Sunday, July 20th, 2014

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

10:15-10:45Coffee Break
10:45-12:45 Session 127I
Chair:
Arnon Avron
Location: FH, Seminarraum 104
10:45
Matthias Baaz and Nino Antidze
Construction and meaning (abstract)
11:15
Kazushige Terui
Proof theory for ordered algebra: amalgamation and densification (abstract)
11:45
Richard Zach and Matthias Baaz
The Epsilon Calculus and Nonclassical Logics (abstract)
12:15
Bruno Woltzenlogel Paleo
Automated and Interactive Theorem Proving for Modal Logics via embedding into Classical Higher-Order Logic (abstract)
13:00-14:30Lunch Break
14:30-16:00 Session 129I
Chair:
Revantha Ramanayake
Location: FH, Seminarraum 104
14:30
Alessio Guglielmi
Introducing Substitution in Proof Theory (abstract)
15:00
Nicola Olivetti
Conditional logics: the quest for internal proof systems (abstract)
15:30
Ori Lahav
From Frame Properties to Hypersequent Rules in Modal Logics (abstract)
16:00-16:30Coffee Break
16:30-18:00 Session 130H
Chair:
Melvin Fitting
Location: FH, Seminarraum 104
16:30
George Metcalfe
Admissibility and Exact Unification (abstract)
17:00
Anna Zamansky
What can semantics do for proof theory: the case of Paraconsistent Logics (abstract)
17:30
Melvin Fitting and Roman Kuznets
Applications of Nested-Sequent Proof Systems for Modal Logics to the Craig Interpolation Property (abstract)
19:00-21:30 Session 142: VSL Banquet 2
Location: Schönbrunn