Michal Krynicki

Publication Activity (10 Years)

Years Active: 1979-2011
Publications (10 Years): 0

Publications

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