2007 |
8 | EE | Michal Krynicki,
Marcin Mostowski,
Konrad Zdanowski:
Finite Arithmetics.
Fundam. Inform. 81(1-3): 183-202 (2007) |
7 | EE | 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) |