 | 2007 |
|---|
| 8 |       | Michal Krynicki,
Marcin Mostowski,
Konrad Zdanowski:
Finite Arithmetics.
Fundam. Inform. 81(1-3): 183-202 (2007) |
| 7 | | 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) |
| 1993 |
|---|
| 6 |  | Michal Krynicki:
Hierarchies of Partially Ordered Connectives and Quantifiers.
Math. Log. Q. 39: 287-294 (1993) |
| 1992 |
|---|
| 5 | | Michal Krynicki,
Marcin Mostowski:
Decidability Problems in Languages with Henkin Quantifiers.
Ann. Pure Appl. Logic 58(2): 149-172 (1992) |
| 1991 |
|---|
| 4 | | Michal Krynicki,
Hans-Peter Tuschik:
An Axiomatization of the Logic with the Rough Quantifier.
J. Symb. Log. 56(2): 608-617 (1991) |
| 3 | | 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 |
|---|
| 2 | | Michal Krynicki,
Jouko A. Väänänen:
Henkin and Function Quantifiers.
Ann. Pure Appl. Logic 43(3): 273-292 (1989) |
| 1979 |
|---|
| 1 | | Michal Krynicki,
Alistair H. Lachlan:
On the Semantics of the Henkin Quantifier.
J. Symb. Log. 44(2): 184-200 (1979) |
