EICNCL PROGRAM
Thursday, July 19th
View this program: with abstractssession overviewtalk overviewside by side with other conferences
09:00-10:30 Session 131B
Location: Blavatnik Seminar Room 2
09:00 | Title TBA - Invited talk (abstract) |
10:00 | Effective Translations between Display and Labelled Proofs for Tense Logics (abstract) |
10:30-11:00Coffee Break
11:00-12:30 Session 133B: Modal logics
Location: Blavatnik Seminar Room 2
11:00 | Toward intuitionistic non-normal modal logic and its calculi (abstract) |
11:30 | Proof theory for quantified monotone modal logics (abstract) |
12:00 | Sequent Calculi for Logic that Includes an Infinite Number of Modalities (abstract) |
12:30-14:00Lunch Break
14:00-15:30 Session 135B
Location: Blavatnik Seminar Room 2
14:00 | Cyclic proofs, hypersequents and Kleene algebra - Invited Talk (abstract) |
15:00 | Proof Translations in BI logic (abstract) |
15:30-16:00Coffee Break
16:00-17:30 Session 137B: Intuitionistic and belief logics
Location: Blavatnik Seminar Room 2
16:00 | Intuitionistic multi-agent subatomic natural deduction for belief and knowledge (abstract) |
16:30 | Hypersequent calculus for the logic of conditional belief: preliminary results (abstract) |
17:00 | A Forward Calculus for Countermodel Construction in IPL (abstract) |