- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| j10 |      | Michal Krynicki, Jerzy Tomasik, Konrad Zdanowski: Theories of initial segments of standard models of arithmetics and their complete extensions. Theor. Comput. Sci. 412(31): 3975-3991 (2011) |
| 2007 | ||
| j9 | | Michal Krynicki, Marcin Mostowski, Konrad Zdanowski: Finite Arithmetics. Fundam. Inform. 81(1-3): 183-202 (2007) |
| j8 | | Michal Krynicki, Jose Maria Turull Torres: Games on Trees and Syntactical Complexity of Formulas. Logic Journal of the IGPL 15(5-6): 653-687 (2007) |
| 2005 | ||
| j7 | | Michal Krynicki, Konrad Zdanowski: Theories of arithmetics in finite models. J. Symb. Log. 70(1): 1-28 (2005) |
| 1993 | ||
| j6 |  | Michal Krynicki: Hierarchies of Partially Ordered Connectives and Quantifiers. Math. Log. Q. 39: 287-294 (1993) |
| 1992 | ||
| j5 | | Michal Krynicki, Marcin Mostowski: Decidability Problems in Languages with Henkin Quantifiers. Ann. Pure Appl. Logic 58(2): 149-172 (1992) |
| 1991 | ||
| j4 | | Michal Krynicki, Hans-Peter Tuschik: An Axiomatization of the Logic with the Rough Quantifier. J. Symb. Log. 56(2): 608-617 (1991) |
| j3 | | Heinrich Herre, Michal Krynicki, Alexander Pinus, Jouko A. Väänänen: The Härtig Quantifier: A Survey. J. Symb. Log. 56(4): 1153-1183 (1991) |
| 1989 | ||
| j2 | | Michal Krynicki, Jouko A. Väänänen: Henkin and Function Quantifiers. Ann. Pure Appl. Logic 43(3): 273-292 (1989) |
| 1979 | ||
| j1 | | Michal Krynicki, Alistair H. Lachlan: On the Semantics of the Henkin Quantifier. J. Symb. Log. 44(2): 184-200 (1979) |
| 1 | Heinrich Herre | |
| 2 | Alistair H. Lachlan | |
| 3 | Marcin Mostowski | |
| 4 | Alexander Pinus | |
| 5 | Jerzy Tomasik | |
| 6 | Jose Maria Turull Torres (José M. Turull Torres) | |
| 7 | Hans-Peter Tuschik | |
| 8 | Jouko A. Väänänen | |
| 9 | Konrad Zdanowski |
Colors in the list of coauthors
Last update Sun May 26 09:37:03 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page