|
Author:Tim LyonPublications |
---|
EasyChair Preprint no. 7080 | EasyChair Preprint no. 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. |
|
|