EasyChair Smart SlideDocs/Log in
Conference: EICNCL2018 (Workshop on External and Internal Calculi for Non Classical Logics)

This page shows all presentations from this conference published in EasyChair Smart Slide.

Toward intuitionistic non-normal modal logic and its calculi

Toward intuitionistic non-normal modal logic and its calculi

Tiziano Dalmonte, Charles Grellois and Nicola Olivetti

Proof Translations in BI logic

Proof Translations in BI logic

Didier Galmiche, Daniel Mery and Michel Marti

A Forward Calculus for Countermodel Construction in IPL

A Forward Calculus for Countermodel Construction in IPL

Camillo Fiorentini and Mauro Ferrari

Effective Translations between Display and Labelled Proofs for Tense Logics

Effective Translations between Display and Labelled Proofs for Tense Logics

Tim Lyon, Agata Ciabattoni, Revantha Ramanayake and Alwen Tiu

Hypersequent calculus for the logic of conditional belief: preliminary results

Hypersequent calculus for the logic of conditional belief: preliminary results

Marianna Girlando, Bjoern Lellmann and Nicola Olivetti

Presentations in this collection: 5
Copyright © 2002 – 2024 EasyChair