- An extended propositional logic2015 | Faculty of Arts
- Antistructural Completeness in Propositional Logics2017 | Faculty of Arts
- On Sequent Calculi for Intuitionistic Propositional Logic2006 | Faculty of Arts
- Antistructural completeness in propositional logics2017 | Faculty of Arts
- Infinitary propositional logics and subdirect representation2017 | Faculty of Arts
- On the polynomial-space completeness of intuitionistic propositional logic2003 | Faculty of Arts
- A new hierarchy of infinitary propositional logics2016 | Faculty of Arts, Central Library of Charles University
- Logic for all ready thinkers2011 | Faculty of Arts
- Expander Construction in VNC12017 | Faculty of Mathematics and Physics
- Expander construction in VNC12020 | Faculty of Mathematics and Physics
- Beyond Finitarity in Abstract Algebraic Logic III. Hierarchy and Separating Examples2015 | Faculty of Arts
- On Inter-Expressibility of Logical Connectives in Gödel Fuzzy Logic2000 | Faculty of Arts
- Subdirect Representation in Abstract Algebraic Logic2017 | Faculty of Arts
- Decision Problems of some Intermediate Logics and Their Fragments2010 | Faculty of Arts
- Proof Compexity of Propositional Default Logic2010 | Faculty of Mathematics and Physics
- Interpolation in Modal Logics2006 | Faculty of Arts
- Cut elimination, identity elimination, and interpolation in super-Belnap logics2017 | Faculty of Arts
- Feasible Disjunction Property and Feasible Interpolation in Modal LogicPublication without faculty affiliation
- Syntactic Approach to Fuzzy Modal Logic in MTL2009 | Faculty of Arts
- A New Hierarchy of Infinitary Logics in Abstract Algebraic Logic2017 | Faculty of Arts
- On Interpolants and Variable Assignments2014 | Faculty of Mathematics and Physics
- Extension Properties and Subdirect Representation in Abstract Algebraic Logic2018 | Faculty of Arts
- Using linear algebra in decomposition of Farkas interpolants2022 | Faculty of Mathematics and Physics
- Automated resolution of connector architectures using constraint solving (ARCAS method)2014 | Faculty of Mathematics and Physics