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