1 results
A general proof certification framework for modal logic
-
- Journal:
- Mathematical Structures in Computer Science / Volume 29 / Issue 8 / September 2019
- Published online by Cambridge University Press:
- 26 March 2019, pp. 1344-1378
-
- Article
- Export citation