Michal Krynicki

According to our database, Michal Krynicki authored at least 19 papers between 1979 and 2011.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2011

Theories of initial segments of standard models of arithmetics and their complete extensions.

Michal Krynicki, Jerzy Tomasik, Konrad Zdanowski

Theor. Comput. Sci., 2011

2007

Games on Trees and Syntactical Complexity of Formulas.

Michal Krynicki, Jose Maria Turull Torres

Log. J. IGPL, 2007

Finite Arithmetics.

Michal Krynicki, Marcin Mostowski, Konrad Zdanowski

Fundam. Informaticae, 2007

2005

Theories of arithmetics in finite models.

Michal Krynicki, Konrad Zdanowski

J. Symb. Log., 2005

1993

Hierarchies of Partially Ordered Connectives and Quantifiers.

Michal Krynicki

Math. Log. Q., 1993

1992

Decidability Problems in Languages with Henkin Quantifiers.

Michal Krynicki, Marcin Mostowski

Ann. Pure Appl. Log., 1992

1991

Remarks on The Cartesian Closure.

Lauri Hella, Michal Krynicki

Math. Log. Q., 1991

An Axiomatization of the Logic with the Rough Quantifier.

Michal Krynicki, Hans-Peter Tuschik

J. Symb. Log., 1991

The Härtig Quantifier: A Survey.

Heinrich Herre, Michal Krynicki, Alexander G. Pinus, Jouko A. Väänänen

J. Symb. Log., 1991

1990

On simplicity of formulas.

Michal Krynicki, Leslaw Szczerba

Stud Logica, 1990

Quantifiers determined by partial orderings.

Michal Krynicki

Math. Log. Q., 1990

1989

Henkin and Function Quantifiers.

Michal Krynicki, Jouko A. Väänänen

Ann. Pure Appl. Log., 1989

1988

The non-definability notion and first order logic.

Michal Krynicki

Stud Logica, 1988

Notion of Interpretation and Nonelementary Languages.

Michal Krynicki

Math. Log. Q., 1988

1987

A note on syntactical and semantical functions.

Adam Gajda, Michal Krynicki, Leslaw Szczerba

Stud Logica, 1987

On Some Applications of Games for Härtig Quantifier.

Michal Krynicki

Math. Log. Q., 1987

1984

Vector spaces and binary quantifiers.

Michal Krynicki, Alistair H. Lachlan, Jouko Väänänen

Notre Dame J. Formal Log., 1984

1980

On orderings of the family of all logics.

Michal Krynicki, Jouko Väänänen

Arch. Math. Log., 1980

1979

On the Semantics of the Henkin Quantifier.

Michal Krynicki, Alistair H. Lachlan

J. Symb. Log., 1979