- Interpretace znalosti v substrukturálních rámcích2013 | Filozofická fakulta
- Epistemic Logics for Skeptical Agents2016 | Filozofická fakulta
- Relevanční agenti2010 | Filozofická fakulta
- Embedding l-bimonoids into involutive residuated lattices2016 | Filozofická fakulta
- Cut elimination, identity elimination, and interpolation in super-Belnap logics2017 | Filozofická fakulta
