Volgen
Marcin Mostowski
Marcin Mostowski
Profesor logiki, Uniwersytet Jagielloński
Geverifieerd e-mailadres voor uj.edu.pl
Titel
Geciteerd door
Geciteerd door
Jaar
Henkin quantifiers
M Krynicki, M Mostowski
Quantifiers: Logics, Models and Computation: Volume One: Surveys, 193-262, 1995
691995
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
542004
On representing concepts in finite models
M Mostowski
Mathematical Logic Quarterly: Mathematical Logic Quarterly 47 (4), 513-523, 2001
492001
Computational semantics for monadic quantifiers
M Mostowski
Journal of Applied Non-Classical Logics 8 (1-2), 107-121, 1998
461998
Quantifiers: Logics, Models and Computation: Volume One: Surveys
M Krynicki, M Mostowski, LW Szczerba
Springer Science & Business Media, 2013
352013
Quantifiers: Logics, Models and Computation: Volume One: Surveys
M Krynicki, M Mostowski, LW Szczerba
Springer Science & Business Media, 2013
352013
On representing semantics in finite models
M Mostowski
Philosophical Dimensions of Logic and Science: Selected Contributed Papers …, 2003
322003
On representing semantics in finite models
M MOSTOWSKI
Philosophical Dimensions of Logic and Science: Selected Contributed Papers …, 2003
322003
Semantic bounds for everyday language
M Mostowski, J Szymanik
Semiotica 2012 (188), 323-332, 2012
232012
FM-representability and beyond
M Mostowski, K Zdanowski
Conference on Computability in Europe, 358-367, 2005
202005
Arithmetic of divisibility in finite models
M Mostowski, AE Wasilewska
Mathematical Logic Quarterly: Mathematical Logic Quarterly 50 (2), 169-174, 2004
182004
Arithmetic of divisibility in finite models
M Mostowski, AE Wasilewska
Mathematical Logic Quarterly: Mathematical Logic Quarterly 50 (2), 169-174, 2004
182004
Arithmetic with the Henkin quantifier and its generalizations
M Mostowski
141991
Decidability problems in languages with Henkin quantifiers
M Krynicki, M Mostowski
Annals of Pure and Applied Logic 58 (2), 149-172, 1992
131992
Potential infinity and the Church Thesis
M Mostowski
Fundamenta Informaticae 81 (1-3), 241-248, 2007
122007
Branched quantifiers
M Mostowski
DziaĹ ‚Wydawnictw Filii Uniwersytetu Warszawskiego, 1991
111991
The logic of divisibility
M Mostowski
101993
The relational semantics for branched quantifiers
M Mostowski
Mathematical Logic and Its Applications, 315-322, 1987
101987
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
101985
Coprimality in finite models
M Mostowski, K Zdanowski
International Workshop on Computer Science Logic, 263-275, 2005
92005
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20