FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
EICNCL PROGRAM
Thursday, July 19th

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

09:00-10:30 Session 130B
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 132B: Modal logics
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 134B
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 136B: Intuitionistic and belief logics
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)