# Author:Tim Lyon

Publications |
---|

EasyChair Preprint no. 7080 |

EasyChair Preprint no. 7068 |

### Keyphrases

Bi-relational model^{2}, 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^{2}, 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.