VSL 2014: VIENNA SUMMER OF LOGIC 2014
NCPROOFS ON SUNDAY, JULY 20TH, 2014

View: session 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
SPEAKER: Matthias Baaz
11:15
Proof theory for ordered algebra: amalgamation and densification
11:45
The Epsilon Calculus and Nonclassical Logics
SPEAKER: Richard Zach
12:15
Automated and Interactive Theorem Proving for Modal Logics via embedding into Classical Higher-Order Logic
13:00-14:30Lunch Break
14:30-16:00 Session 129I
Location: FH, Seminarraum 104
14:30
Introducing Substitution in Proof Theory
15:00
Conditional logics: the quest for internal proof systems
15:30
From Frame Properties to Hypersequent Rules in Modal Logics
SPEAKER: Ori Lahav
16:00-16:30Coffee Break
16:30-18:00 Session 130H
Location: FH, Seminarraum 104
16:30
Admissibility and Exact Unification
17:00
What can semantics do for proof theory: the case of Paraconsistent Logics
SPEAKER: Anna Zamansky
17:30
Applications of Nested-Sequent Proof Systems for Modal Logics to the Craig Interpolation Property
SPEAKER: Roman Kuznets