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
Location: Blavatnik Seminar Room 2
09:00
Dirk Pattinson
Title TBA - Invited talk (abstract)
10:00
Tim Lyon, Agata Ciabattoni, Revantha Ramanayake and Alwen Tiu
Effective Translations between Display and Labelled Proofs for Tense Logics (abstract)
10:30-11:00Coffee Break
11:00-12:30 Session 132B: Modal logics
Location: Blavatnik Seminar Room 2
11:00
Tiziano Dalmonte, Charles Grellois and Nicola Olivetti
Toward intuitionistic non-normal modal logic and its calculi (abstract)
11:30
Eugenio Orlandelli and Sara Negri
Proof theory for quantified monotone modal logics (abstract)
12:00
Tomoaki Kawano
Sequent Calculi for Logic that Includes an Infinite Number of Modalities (abstract)
12:30-14:00Lunch Break
14:00-15:30 Session 134B
Location: Blavatnik Seminar Room 2
14:00
Anupam Das
Cyclic proofs, hypersequents and Kleene algebra - Invited Talk (abstract)
15:00
Didier Galmiche, Daniel Mery and Michel Marti
Proof Translations in BI logic (abstract)
15:30-16:00Coffee Break
16:00-17:30 Session 136B: Intuitionistic and belief logics
Location: Blavatnik Seminar Room 2
16:00
Bartosz Więckowski
Intuitionistic multi-agent subatomic natural deduction for belief and knowledge (abstract)
16:30
Marianna Girlando, Bjoern Lellmann and Nicola Olivetti
Hypersequent calculus for the logic of conditional belief: preliminary results (abstract)
17:00
Camillo Fiorentini and Mauro Ferrari
A Forward Calculus for Countermodel Construction in IPL (abstract)