|
Author:Tim LyonPublications |
---|
EasyChair Preprint 7080 | EasyChair Preprint 7068 |
KeyphrasesBi-relational model2, 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 logic2, 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. |
|
|