Michal Krynicki

19 papers Journal 19
YearRankTypeTitle / Venue / Authors
2011 J jnl
Theories of initial segments of standard models of arithmetics and their complete extensions.
Theor. Comput. Sci.
Michal Krynicki, Jerzy Tomasik, Konrad Zdanowski
2007 J jnl
Finite Arithmetics.
Fundam. Informaticae
Michal Krynicki, Marcin Mostowski, Konrad Zdanowski
2007 J jnl
Games on Trees and Syntactical Complexity of Formulas.
Log. J. IGPL
Michal Krynicki, Jose Maria Turull Torres
2005 J jnl
Theories of arithmetics in finite models.
J. Symb. Log.
Michal Krynicki, Konrad Zdanowski
1993 J jnl
Hierarchies of Partially Ordered Connectives and Quantifiers.
Math. Log. Q.
Michal Krynicki
1992 J jnl
Decidability Problems in Languages with Henkin Quantifiers.
Ann. Pure Appl. Log.
Michal Krynicki, Marcin Mostowski
1991 J jnl
An Axiomatization of the Logic with the Rough Quantifier.
J. Symb. Log.
Michal Krynicki, Hans-Peter Tuschik
1991 J jnl
Remarks on The Cartesian Closure.
Math. Log. Q.
Lauri Hella, Michal Krynicki
1991 J jnl
The Härtig Quantifier: A Survey.
J. Symb. Log.
Heinrich Herre, Michal Krynicki, Alexander G. Pinus, Jouko A. Väänänen
1990 J jnl
On simplicity of formulas.
Stud Logica
Michal Krynicki, Leslaw Szczerba
1990 J jnl
Quantifiers determined by partial orderings.
Math. Log. Q.
Michal Krynicki
1989 J jnl
Henkin and Function Quantifiers.
Ann. Pure Appl. Log.
Michal Krynicki, Jouko A. Väänänen
1988 J jnl
Notion of Interpretation and Nonelementary Languages.
Math. Log. Q.
Michal Krynicki
1988 J jnl
The non-definability notion and first order logic.
Stud Logica
Michal Krynicki
1987 J jnl
A note on syntactical and semantical functions.
Stud Logica
Adam Gajda, Michal Krynicki, Leslaw Szczerba
1987 J jnl
On Some Applications of Games for Härtig Quantifier.
Math. Log. Q.
Michal Krynicki
1984 J jnl
Vector spaces and binary quantifiers.
Notre Dame J. Formal Log.
Michal Krynicki, Alistair H. Lachlan, Jouko Väänänen
1980 J jnl
On orderings of the family of all logics.
Arch. Math. Log.
Michal Krynicki, Jouko Väänänen
1979 J jnl
On the Semantics of the Henkin Quantifier.
J. Symb. Log.
Michal Krynicki, Alistair H. Lachlan