EasyChair Smart SlideDocs/Log in
Conference: TABLEAUX 2021 (The 30th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods)

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

Nested Sequents for Intuitionistic Modal Logics via Structural Refinement

Nested Sequents for Intuitionistic Modal Logics via Structural Refinement

Tim Lyon

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