Obserwuj
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: Volume One: Surveys, 193-262, 1995
701995
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
552004
On representing concepts in finite models
M Mostowski
Mathematical Logic Quarterly: Mathematical Logic Quarterly 47 (4), 513-523, 2001
472001
Computational semantics for monadic quantifiers
M Mostowski
Journal of Applied Non-Classical Logics 8 (1-2), 107-121, 1998
451998
Quantifiers: Logics, Models and Computation: Volume One: Surveys
M Krynicki, M Mostowski, LW Szczerba
Springer Science & Business Media, 2013
382013
On representing semantics in finite models
M MOSTOWSKI
Philosophical Dimensions of Logic and Science: Selected Contributed Papers …, 2003
302003
Semantic bounds for everyday language
M Mostowski, J Szymanik
Semiotica 2012 (188), 323-332, 2012
242012
FM-representability and beyond
M Mostowski, K Zdanowski
Conference on Computability in Europe, 358-367, 2005
182005
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
Decidability problems in languages with Henkin quantifiers
M Krynicki, M Mostowski
Annals of pure and applied logic 58 (2), 149-172, 1992
121992
Potential infinity and the Church Thesis
M Mostowski
Fundamenta Informaticae 81 (1-3), 241-248, 2007
112007
The logic of divisibility
M Mostowski
111993
Branched quantifiers
M Mostowski
DziaĹ ‚Wydawnictw Filii Uniwersytetu Warszawskiego, 1991
111991
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
Computational complexity of some Ramsey quantifiers in finite models
M Mostowski, J Szymanik
Bulletin of Symbolic Logic 13, 2007
92007
Recursive complexity of the Carnap first order modal logic C
A Gheerbrant, M Mostowski
Mathematical Logic Quarterly 52 (1), 87-94, 2006
82006
Coprimality in finite models
M Mostowski, K Zdanowski
International Workshop on Computer Science Logic, 263-275, 2005
82005
Ambigous quantifiers
M Krynicki, M Mostowski
81999
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20