Marcin Mostowski
Marcin Mostowski
Profesor logiki, Uniwersytet Jagielloński
Zweryfikowany adres z uj.edu.pl
Tytuł
Cytowane przez
Cytowane przez
Rok
Henkin quantifiers
M Krynicki, M Mostowski
Quantifiers: logics, models and computation, 193-262, 1995
651995
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
512004
On representing concepts in finite models
M Mostowski
Mathematical Logic Quarterly: Mathematical Logic Quarterly 47 (4), 513-523, 2001
452001
Computational semantics for monadic quantifiers
M Mostowski
Journal of Applied Non-Classical Logics 8 (1-2), 107-121, 1998
391998
On representing semantics in finite models
M MOSTOWSKI
Philosophical Dimensions of Logic and Science: Selected Contributed Papers …, 2003
272003
On representing semantics in finite models
M Mostowski
Philosophical dimensions of logic and science, 15-28, 2003
272003
Quantifiers: Logics, Models and Computation: Volume One: Surveys
M Krynicki, M Mostowski, LW Szczerba
Springer Science & Business Media, 2013
252013
Quantifiers: Logics, Models and Computation: Volume One: Surveys
M Krynicki, M Mostowski, LW Szczerba
Springer Science & Business Media, 2013
252013
Semantic bounds for everyday language
M Mostowski, J Szymanik
Semiotica 2012 (188), 323-332, 2012
19*2012
FM-representability and beyond
M Mostowski, K Zdanowski
Conference on Computability in Europe, 358-367, 2005
172005
Arithmetic of divisibility in finite models
M Mostowski, AE Wasilewska
Mathematical Logic Quarterly: Mathematical Logic Quarterly 50 (2), 169-174, 2004
172004
Arithmetic of divisibility in finite models
M Mostowski, AE Wasilewska
Mathematical Logic Quarterly: Mathematical Logic Quarterly 50 (2), 169-174, 2004
172004
Arithmetic with the Henkin quantifier and its generalizations
M Mostowski
141991
Potential infinity and the Church Thesis
M Mostowski
Fundamenta Informaticae 81 (1-3), 241-248, 2007
112007
Quantifiers: contributions
M Krynicki, M Mostowski, LW Szczerba
Kluwer Academic Publishers, 1995
111995
The logic of divisibility
M Mostowski
111993
Decidability problems in languages with Henkin quantifiers
M Krynicki, M Mostowski
Annals of pure and applied logic 58 (2), 149-172, 1992
111992
Ambigous quantifiers
M Krynicki, M Mostowski
101999
Branched quantifiers
M Mostowski
DziaĹ ‚Wydawnictw Filii Uniwersytetu Warszawskiego, 1991
101991
Coprimality in finite models
M Mostowski, K Zdanowski
International Workshop on Computer Science Logic, 263-275, 2005
92005
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20