On the Semantics of the Henkin Quantifier. - Michal Krynicki; Alistair H. Lachlan (J. Symb. Log., 1979)

On orderings of the family of all logics. - Michal Krynicki; Jouko Väänänen (Arch. Math. Log., 1980)

Vector spaces and binary quantifiers. - Michal Krynicki; Alistair H. Lachlan; Jouko Väänänen (Notre Dame J. Formal Log., 1984)

On Some Applications of Games for Härtig Quantifier. - Michal Krynicki (Math. Log. Q., 1987)

A note on syntactical and semantical functions. - Adam Gajda; Michal Krynicki; Leslaw Szczerba (Stud Logica, 1987)

Notion of Interpretation and Nonelementary Languages. - Michal Krynicki (Math. Log. Q., 1988)

The non-definability notion and first order logic. - Michal Krynicki (Stud Logica, 1988)

Henkin and Function Quantifiers. - Michal Krynicki; Jouko A. Väänänen (Ann. Pure Appl. Log., 1989)

Quantifiers determined by partial orderings. - Michal Krynicki (Math. Log. Q., 1990)

On simplicity of formulas. - Michal Krynicki; Leslaw Szczerba (Stud Logica, 1990)

The Härtig Quantifier: A Survey. - Heinrich Herre; Michal Krynicki; Alexander G. Pinus; Jouko A. Väänänen (J. Symb. Log., 1991)

An Axiomatization of the Logic with the Rough Quantifier. - Michal Krynicki; Hans-Peter Tuschik (J. Symb. Log., 1991)

Remarks on The Cartesian Closure. - Lauri Hella; Michal Krynicki (Math. Log. Q., 1991)

Decidability Problems in Languages with Henkin Quantifiers. - Michal Krynicki; Marcin Mostowski (Ann. Pure Appl. Log., 1992)

Hierarchies of Partially Ordered Connectives and Quantifiers. - Michal Krynicki (Math. Log. Q., 1993)

Theories of arithmetics in finite models. - Michal Krynicki; Konrad Zdanowski (J. Symb. Log., 2005)

Finite Arithmetics. - Michal Krynicki; Marcin Mostowski; Konrad Zdanowski (Fundam. Informaticae, 2007)

Games on Trees and Syntactical Complexity of Formulas. - Michal Krynicki; Jose Maria Turull Torres (Log. J. IGPL, 2007)

Theories of initial segments of standard models of arithmetics and their complete extensions. - Michal Krynicki; Jerzy Tomasik; Konrad Zdanowski (Theor. Comput. Sci., 2011)