Metalogic of Intuitionistic Propositional Calculus. - Alex Citkin (Notre Dame J. Formal Log., 2010)

A note on admissible rules and the disjunction property in intermediate logics. - Alexander Citkin (Arch. Math. Log., 2012)

Characteristic formulas over intermediate logics - Alex Citkin (CoRR, 2012)

Not Every Splitting Heyting or Interior Algebra is Finitely Presentable. - Alex Citkin (Stud Logica, 2012)

Jankov Formula and Ternary Deductive Term. - Alex Citkin (TACL, 2013)

Characteristic Formulas of Partial Heyting Algebras. - Alex Citkin (Logica Universalis, 2013)

Jankov-style formulas and refutation systems. - Alex Citkin (Reports Math. Log., 2013)

A Meta-Logic of Inference Rules: Syntax. - Alex Citkin (CoRR, 2014)

Characteristic Inference Rules. - Alex Citkin (Logica Universalis, 2015)

Multiple Conclusion Rules in Logics with the Disjunction Property. - Alex Citkin (LFCS, 2016)

Algebraic Logic Perspective on Prucnal's Substitution. - Alex Citkin (Notre Dame J. Formal Log., 2016)

Admissibility in Positive Logics. - Alex Citkin (Logica Universalis, 2017)

One-Generated WS5-Algebras. - Alex Citkin (Advances in Modal Logic, 2018)

Hereditarily Structurally Complete Superintuitionistic Deductive Systems. - Alex Citkin (Stud Logica, 2018)

Deductive Systems with Multiple-Conclusion Rules and the Disjunction Property. - Alex Citkin (Axioms, 2019)

Deductive Systems in Traditional and Modern Logic. - Alex Citkin; Urszula Wybraniec-Skardowska (Axioms, 2020)

Hereditarily Structurally Complete positive Logics. - Alex Citkin (Rev. Symb. Log., 2020)

On Finitely-Generated Johansson Algebras. - Alex Citkin (Order, 2023)

Unified Deductive Systems: An Outline. - Alex Citkin (Logica Universalis, 2023)

Preface to the Rejection Special Issue. - Alex Citkin; Alexei Y. Muravitsky (Logica Universalis, 2023)