- Note on D-completeness and prelinearity2013 | Filozofická fakulta
- The Logic of Resources and Capabilities2018 | Filozofická fakulta
- Theories of Truth in Legal Fact-Finding2021 | Právnická fakulta
- Logical Expressivist's Logical Constants2016 | Filozofická fakulta
- Logic ColloquiumPublikace bez příslušnosti k fakultě
- Proof systems for Moss' coalgebraic logic2014 | Filozofická fakulta
- Cut elimination, identity elimination, and interpolation in super-Belnap logics2017 | Filozofická fakulta