Modal Analysis of Generalized Rosser Sentences. - Vítezslav Svejdar (J. Symb. Log., 1983)

A note on the normal form of closed formulas of interpretability logic. - Petr Hájek 001; Vítezslav Svejdar (Stud Logica, 1991)

Some independence results in interpretability logic. - Vítezslav Svejdar (Stud Logica, 1991)

On inter-expressibility of logical connectives in Gödel fuzzy logic. - Vítezslav Svejdar; Kamila Bendová (Soft Comput., 2000)

On the polynomial-space completeness of intuitionistic propositional logic. - Vítezslav Svejdar (Arch. Math. Log., 2003)

The decision problem of provability logic with only one atom. - Vítezslav Svejdar (Arch. Math. Log., 2003)

On interplay of quantifiers in Gödel-Dummett fuzzy logics. - Blanka Kozlíková; Vítezslav Svejdar (Arch. Math. Log., 2006)

Note on inter-expressibility of logical connectives in finitely-valued Gödel-Dummett logics. - Vítezslav Svejdar (Soft Comput., 2006)

An Interpretation of Robinson Arithmetic in its Grzegorczyk's Weaker Variant. - Vítezslav Svejdar (Fundam. Informaticae, 2007)

On Interpretability in the Theory of Concatenation. - Vítezslav Svejdar (Notre Dame J. Formal Log., 2009)

Modern Czech Logic: Vopenka and Hájek, History and Background. - Vítezslav Svejdar (FLAP, 2018)