Henkin quantifiers M Krynicki, M Mostowski Quantifiers: Logics, Models and Computation: Volume One: Surveys, 193-262, 1995 | 70 | 1995 |
Computational complexity of the semantics of some natural language constructions M Mostowski, D Wojtyniak Annals of Pure and Applied Logic 127 (1-3), 219-227, 2004 | 55 | 2004 |
On representing concepts in finite models M Mostowski Mathematical Logic Quarterly: Mathematical Logic Quarterly 47 (4), 513-523, 2001 | 47 | 2001 |
Computational semantics for monadic quantifiers M Mostowski Journal of Applied Non-Classical Logics 8 (1-2), 107-121, 1998 | 45 | 1998 |
Quantifiers: Logics, Models and Computation: Volume One: Surveys M Krynicki, M Mostowski, LW Szczerba Springer Science & Business Media, 2013 | 38 | 2013 |
On representing semantics in finite models M MOSTOWSKI Philosophical Dimensions of Logic and Science: Selected Contributed Papers …, 2003 | 30 | 2003 |
Semantic bounds for everyday language M Mostowski, J Szymanik Semiotica 2012 (188), 323-332, 2012 | 24 | 2012 |
FM-representability and beyond M Mostowski, K Zdanowski Conference on Computability in Europe, 358-367, 2005 | 18 | 2005 |
Arithmetic of divisibility in finite models M Mostowski, AE Wasilewska Mathematical Logic Quarterly: Mathematical Logic Quarterly 50 (2), 169-174, 2004 | 17 | 2004 |
Arithmetic with the Henkin quantifier and its generalizations M Mostowski | 14 | 1991 |
Decidability problems in languages with Henkin quantifiers M Krynicki, M Mostowski Annals of pure and applied logic 58 (2), 149-172, 1992 | 12 | 1992 |
Potential infinity and the Church Thesis M Mostowski Fundamenta Informaticae 81 (1-3), 241-248, 2007 | 11 | 2007 |
The logic of divisibility M Mostowski | 11 | 1993 |
Branched quantifiers M Mostowski DziaĹ ‚Wydawnictw Filii Uniwersytetu Warszawskiego, 1991 | 11 | 1991 |
The relational semantics for branched quantifiers M Mostowski Mathematical Logic and Its Applications, 315-322, 1987 | 10 | 1987 |
A certain experimental computer aided course of logic in Poland M Mostowski, Z Trybulec Proceedings of World Conference on Computer in Education, IFIP/AFIPS …, 1985 | 10 | 1985 |
Computational complexity of some Ramsey quantifiers in finite models M Mostowski, J Szymanik Bulletin of Symbolic Logic 13, 2007 | 9 | 2007 |
Recursive complexity of the Carnap first order modal logic C A Gheerbrant, M Mostowski Mathematical Logic Quarterly 52 (1), 87-94, 2006 | 8 | 2006 |
Coprimality in finite models M Mostowski, K Zdanowski International Workshop on Computer Science Logic, 263-275, 2005 | 8 | 2005 |
Ambigous quantifiers M Krynicki, M Mostowski | 8 | 1999 |