- Syntactic Approach to Fuzzy Modal Logic in MTL2009 | Filozofická fakulta
- On the Independence of Axioms in BL and MTL2012 | Filozofická fakulta
- Nezávislost axiomů v neklasických logikách a automatické dokazování větPublikace bez příslušnosti k fakultě
- Independence of Axioms in Non-Classical Logics and ATP2009 | Filozofická fakulta