12 citations · 68 across the 25 of their papers we have counts for
4 papers · 1 filter
A Framework for Intuitionistic Grammar Logics
Tim S. Lyon
We generalize intuitionistic tense logics to the multi-modal case by placing grammar logics on an intuitionistic footing. We provide axiomatizations for a class of base intuitionis…
Refining Labelled Systems for Modal and Constructive Logics with Applications
Tim Lyon
This thesis introduces the "method of structural refinement", which serves as a means of transforming the relational semantics of a modal and/or constructive logic into an 'economi…
Nested Sequents for Intuitionistic Modal Logics via Structural Refinement
Tim S. Lyon
We employ a recently developed methodology -- called "structural refinement" -- to extract nested sequent systems for a sizable class of intuitionistic modal logics from their resp…
On the Correspondence between Nested Calculi and Semantic Systems for Intuitionistic Logics
Tim Lyon
This paper studies the relationship between labelled and nested calculi for propositional intuitionistic logic, first-order intuitionistic logic with non-constant domains and first…