Keyword:Bi-relational model

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