Top Related
Contextual Modal Type Theory - cs.mcgill.cabpientka/papers/tocl.pdf · Contextual Modal Type Theory ... of context enters almost immediately because the truth of a proposition is
133501854 d-j-ewins-modal-testing-theory-and-practice
Argumentation Theory and Modal Logic
A Modal Interface Theory for Component-based Design - Inria
Modal Tracking Based on Group Theory
Ewins D[1]. J., Modal Testing - Theory and Practice
Decomposing labelled proof theory for intuitionistic modal logic · 2020. 12. 11. · Decomposing labelled proof theory for intuitionistic modal logic Sonia Marin, Marianela Morales,
The Lump Sum: A Theory of Modal Parts