EasyChair Smart SlideUser guide
Author: Marianna Girlando

This page shows all presentations of this author published in EasyChair Smart Slide.

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: 1
Copyright © 2002 – 2026 EasyChair