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:
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
Chair:
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
Chair:
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) |
19:00-21:30 Session 142: VSL Banquet 2
Location: Schönbrunn