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
Location: FH, Seminarraum 104
10:45
Construction and meaning (abstract)
11:15
Proof theory for ordered algebra: amalgamation and densification (abstract)
11:45
The Epsilon Calculus and Nonclassical Logics (abstract)
12:15
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
Location: FH, Seminarraum 104
14:30
Introducing Substitution in Proof Theory (abstract)
15:00
Conditional logics: the quest for internal proof systems (abstract)
15:30
From Frame Properties to Hypersequent Rules in Modal Logics (abstract)
16:00-16:30Coffee Break
16:30-18:00 Session 130H
Location: FH, Seminarraum 104
16:30
Admissibility and Exact Unification (abstract)
17:00
What can semantics do for proof theory: the case of Paraconsistent Logics (abstract)
17:30
Applications of Nested-Sequent Proof Systems for Modal Logics to the Craig Interpolation Property (abstract)