Author:Tim Lyon

Publications
Nested Sequents for Intuitionistic Modal Logics via Structural Refinement Tim Lyon EasyChair Preprint 7080
A Framework for Intuitionistic Grammar Logics Tim Lyon EasyChair Preprint 7068

Keyphrases

Bi-relational model², completeness, Computer Science, context-free, converse, formal grammar, Grammar logic, intuitionistic logic, intuitionistic modal cube, intuitionistic modal logic, labelled formula, Labelled sequent, labelled system, labelled tree sequent, modal logic², Nested sequent, nested sequent system, Path axiom, proof theory, Propagation Graph, propagation path, propagation rule, refinement, scott lemmon axiom, sequent system, structural refinement, tense logic, tree sequent.