- Some Properties of Kripke Semantics for Intuitionistic Logic2003 | Faculty of Arts
- Completeness of predicate Gentzen calculus with respect to intuitionistic Kripke semantics2013 | Faculty of Arts
- A nonstandard semantic framework for intuitionistic logic2016 | Faculty of Arts
- A new semantic framework for modal logic2014 | Faculty of Arts