FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
SLIDES

Effective Translations between Display and Labelled Proofs for Tense Logics

Tim Lyon, Agata Ciabattoni, Revantha Ramanayake and Alwen Tiu

Toward intuitionistic non-normal modal logic and its calculi

Tiziano Dalmonte, Charles Grellois and Nicola Olivetti

Hypersequent calculus for the logic of conditional belief: preliminary results

Marianna Girlando, Bjoern Lellmann and Nicola Olivetti

A Forward Calculus for Countermodel Construction in IPL

Camillo Fiorentini and Mauro Ferrari
Total: 4 presentations.