activity
20192026
most citedOn the Correspondence between Nested Calculi and Semantic Systems for Intuitionistic Logics

12 citations · 68 across the 25 of their papers we have counts for

collaborators
Showing 2025Show all

1 paper · 1 filter

cs.LO2025

Nested Sequents for Intuitionistic Multi-Modal Logics: Modularity, Cut-Elimination, and Undecidability

Tim S. Lyon

We introduce and study single-conclusioned nested sequent calculi for a broad class of intuitionistic multi-modal logics known as "intuitionistic grammar logics (IGLs)." These logi…