- Carnap's modal logic C2010 | Faculty of Arts
- On Quine's Criticism of Modal Logic2005 | Faculty of Arts
- Modal logics: Topological interpretation2017 | Faculty of Arts
- Interpolation in Modal Logics2006 | Faculty of Arts
- Some Modifications of Carnap's Modal Logic2012 | Faculty of Arts
- Uniform interpolation and propositional quantifiers in modal logics2007 | Faculty of Arts
- Syntactic Approach to Fuzzy Modal Logic in MTL2009 | Faculty of Arts
- A new semantic framework for modal logic2014 | Faculty of Arts
- Completely separably MAD families and the modal logic of $\beta\omega$2022 | Faculty of Arts
- Feasible Disjunction Property and Feasible Interpolation in Modal LogicPublication without faculty affiliation
- Multi-Dimensional Modal Logic1998 | Faculty of Mathematics and Physics
- A duality for distributive unimodal logic2014 | Faculty of Arts
- A Duality for Distributive Unimodal Logic2014 | Faculty of Arts
- Recenze: Chagrov, Zakharyaschev: Modal logic1998 | Faculty of Mathematics and Physics
- Relevant Epistemic LogicPublication without faculty affiliation
- Relevant Agents2010 | Faculty of Arts
- Mathematics of rough set theory2013 | Faculty of Mathematics and Physics
- Proof systems for Moss' coalgebraic logic2014 | Faculty of Arts
- Logic ColloquiumPublication without faculty affiliation
- Proof systems for the coalgebraic cover modality2008 | Faculty of Arts
- On Modal Systems with Rosser Modalities2006 | Faculty of Arts
- Epistemic Logic with Relevant Agents2009 | Faculty of Physical Education and Sport
- Modality, Necessity, Reality2005 | Faculty of Arts
- On Monotone Modalities and Adjointness2011 | Faculty of Arts
- Generalized closure spaces of rough set theory and formal concept analysis2013 | Faculty of Mathematics and Physics
- Lindenbaum and Pair Extension Lemma in Infinitary Logics2018 | Faculty of Arts
- Lindenbaum and pair extension lemma in infinitary logics2018 | Faculty of Arts
- Forms of Language : An Introduction to Logic and Its Philosophy2015 | Faculty of Arts