Michal Krynicki - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 19 from 19

2011

Theories of initial segments of standard models of arithmetics and their complete extensionsMichal Krynicki, Jerzy Tomasik, Konrad Zdanowski. TCS, 412(31):3975-3991, 2011. [doi]

2007

Games on Trees and Syntactical Complexity of FormulasMichal Krynicki, Jose Maria Turull Torres. igpl, 15(5-6):653-687, 2007. [doi]

Finite ArithmeticsMichal Krynicki, Marcin Mostowski, Konrad Zdanowski. FUIN, 81(1-3):183-202, 2007. [doi]

2005

Theories of arithmetics in finite modelsMichal Krynicki, Konrad Zdanowski. JSYML, 70(1):1-28, 2005. [doi]

1993

Hierarchies of Partially Ordered Connectives and QuantifiersMichal Krynicki. mlq, 39:287-294, 1993.

1992

Decidability Problems in Languages with Henkin QuantifiersMichal Krynicki, Marcin Mostowski. APAL, 58(2):149-172, 1992.

1991

Remarks on The Cartesian ClosureLauri Hella, Michal Krynicki. mlq, 37(33-35):539-545, 1991. [doi]

The Härtig Quantifier: A SurveyHeinrich Herre, Michal Krynicki, Alexander Pinus, Jouko A. Väänänen. JSYML, 56(4):1153-1183, 1991.

An Axiomatization of the Logic with the Rough QuantifierMichal Krynicki, Hans-Peter Tuschik. JSYML, 56(2):608-617, 1991.

1990

Quantifiers determined by partial orderingsMichal Krynicki. mlq, 36(1):79-86, 1990. [doi]

On simplicity of formulasMichal Krynicki, Leslaw Szczerba. sLogica, 49(3):401-419, 1990. [doi]

1989

Henkin and Function QuantifiersMichal Krynicki, Jouko A. Väänänen. APAL, 43(3):273-292, 1989.

1988

Notion of Interpretation and Nonelementary LanguagesMichal Krynicki. mlq, 34(6):541-552, 1988. [doi]

The non-definability notion and first order logicMichal Krynicki. sLogica, 47(4):429-437, 1988. [doi]

1987

A note on syntactical and semantical functionsAdam Gajda, Michal Krynicki, Leslaw Szczerba. sLogica, 46(2):177-185, 1987. [doi]

On Some Applications of Games for Härtig QuantifierMichal Krynicki. mlq, 33(4):359-370, 1987. [doi]

1984

Vector spaces and binary quantifiersMichal Krynicki, Alistair H. Lachlan, Jouko Väänänen. ndjfl, 25(1):72-78, 1984. [doi]

1980

On orderings of the family of all logicsMichal Krynicki, Jouko Väänänen. AML, 22(3-4):141-158, 1980. [doi]

1979

On the Semantics of the Henkin QuantifierMichal Krynicki, Alistair H. Lachlan. JSYML, 44(2):184-200, 1979.

Sign in or sign up to see more results.

runs on WebDSL