EasyChair Smart SlideDocs/Log in
Author: Tim Lyon

This page shows all presentations of this author 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

A Framework for Intuitionistic Grammar Logics

A Framework for Intuitionistic Grammar Logics

Tim Lyon

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

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