JakubSzymanik's Mostowski:M [14 articles] Export

Recent papers posted to JakubSzymanik's library by the author Mostowski:M. You can also see everyone's Mostowski:M.

	Potential Infinity and the Church Thesis [My Copy] Fundamenta Informaticae, Vol. 81, No. 1-3. (2008), pp. 241-248. by Marcin Mostowski posted to church-turing infinity potential thesis by JakubSzymanik on 2008-11-22 19:48:55 as
	Pure Logic with Branched Quantifiers [My Copy] Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, Vol. 35, No. 1. (1989), pp. 45-48. by Marcin Mostowski posted to branching quantifiers by JakubSzymanik on 2008-07-20 13:38:00 as along with 1 group GQT
	Computational complexity of some Ramsey quantifiers in finite models [My Copy] The Bulletin of Symbolic Logic, Vol. 13 (2007), pp. 281-282. by M. Mostowski, J. Szymanik posted to complexity computational generalized quantifiers ramsey theory by JakubSzymanik on 2007-10-16 12:22:18 as along with 1 person NinaG
	Semantic bounds for everyday language [My Copy] Semiotica, Vol. to appear, No. see also ILLC Preprint Series, PP-2006-40. (2005) by M. Mostowski, J. Szymanik posted to complexity computational everyday language quantifiers semantics by JakubSzymanik on 2007-10-16 12:22:18 as along with 1 person NinaG
	Computational Semantics for Monadic Quantifiers [My Copy] Journal of applied Non--Classical Logics, Vol. 8 (1998), pp. 107-121. by M. Mostowski posted to bibtex-import by JakubSzymanik on 2007-10-16 12:22:18 as
	Quantifiers Definable by Second Order Means [My Copy] In Quantifiers: Logics, Models and Computation (1995), pp. 181-214. by M. Mostowski edited by M. Krynicki, M. Mostowski, L. Szczerba posted to bibtex-import by JakubSzymanik on 2007-10-16 12:22:18 as
	Kwantyfikatory rozgałęzione a problem formy logicznej [My Copy] In Nauka i j\kezyk (1994), pp. 201-242. by M. Mostowski edited by M. Omy\la posted to bibtex-import by JakubSzymanik on 2007-10-16 12:22:18 as
	Arithmetic with the Henkin quantifier and its generalizations [My Copy] In Seminaire du Laboratoire Logique, Algorithmique et Informatique Clermontois, Vol. II (1991), pp. 1-25. by M. Mostowski edited by F. Gaillard, D. Richard posted to bibtex-import by JakubSzymanik on 2007-10-16 12:22:18 as
	The relational semantics for branched quantifiers [My Copy] In Mathematical Logic and its Application (1987), pp. 315-322. by M. Mostowski edited by D. Skordev posted to bibtex-import by JakubSzymanik on 2007-10-16 12:22:18 as along with 1 person NinaG
	Computable quantifiers and logics over finite structures [My Copy] In Quantifiers: Logics, Models and Computation (1995), pp. 313-357. by J. Makowsky, Y. Pnueli edited by M. Krynicki, M. Mostowski, L. Szczerba posted to bibtex-import by JakubSzymanik on 2007-10-16 12:22:17 as
	Ambigous quantifiers [My Copy] In Logic at work (1999), pp. 548-565. by M. Krynicki, M. Mostowski edited by E. Or\lowska posted to bibtex-import by JakubSzymanik on 2007-10-16 12:22:17 as
	Henkin Quantifiers [My Copy] In Quantifiers: Logics, Models and Computation (1995), pp. 193-263. by M. Krynicki, M. Mostowski edited by M. Krynicki, M. Mostowski, L. Szczerba posted to bibtex-import by JakubSzymanik on 2007-10-16 12:22:17 as
	Quantifiers, some Problems and Ideas [My Copy] In Quantifiers: Logics, Models and Computation (1995), pp. 1-21. by M. Krynicki, M. Mostowski edited by M. Krynicki, M. Mostowski, L. Szczerba posted to bibtex-import by JakubSzymanik on 2007-10-16 12:22:17 as
	Computational complexity of the semantics of some natural language constructions [My Copy] Annals of Pure and Applied Logic, Vol. 127, No. 1-3. (2004), pp. 219-227. by Marcin Mostowski, Dominika Wojtyniak posted to bibtex-import by JakubSzymanik on 2007-10-16 12:10:44 as

Note: You may cite this page as: http://www.citeulike.org/user/JakubSzymanik/author/Mostowski:M

bibtex-import	85
quantifiers	37
complexity	28
computational	27
generalized	17
theory	16
algorithms	15
language	14
natural	12
descriptive	9
meaning	8
branching	7
logic	7
semantics	7
of	6
finite	6
model	6
and	6
cognitive	5
scope	5
games	4
automata	4
game	4
in	4
definability	4
dynamic	3
monotonicity	3
psychology	3
science	3
context-freeness	3
truth	3
parametrized	3
logical	2
thesis	2
data	2
learning	2
combined	2
form	2
average-case	2
quantifier	2
comprehension	2
expression	2
turing	2
vision	2
computability	2
ramsey	2
collective	2
reasoning	2
working	2
memory	2
mind	2
grammars	2
machines	2
definitions	1
alternating	1
principles	1
deterministic	1
sape	1
non	1
formal	1
church-turing	1
metafinite	1
inductive	1
lambek	1
independence	1
type-shifting	1
bramching	1
hypercomputations	1
linguistic	1
for	1
modeling	1
quantification	1
everyday	1
recursion	1
file-import-09-01-10	1
generalised	1
numbers	1
reciprocal	1
neuropsychology	1
mathematical	1
second-order	1
other	1
information	1
models	1
evolutionary	1
non-fregean	1
computations	1
calculus	1
polyadic	1
each	1
intension	1
history	1
neuroscience	1
hintikkas	1
cognition	1
reductions	1
learnability	1
file-import-08-10-22	1
bisimulation	1
wide	1
independencies	1
competence	1
extensive	1
context-free	1
concurrent	1
acquisition	1
strong	1
anaphora	1
expressions	1
syllogistic	1
hypothesis	1
disambiguation	1
combinations	1
modelling	1
potential	1
complete	1
problems	1
infinity	1
file-import-08-06-25	1
reasonings	1
pragmatics	1
counting	1

JakubSzymanik's Mostowski:M [14 articles] Export

JakubSzymanik's tags