JakubSzymanik's van Benthem:J [11 articles] Export

Recent papers posted to JakubSzymanik's library by the author van Benthem:J. You can also see everyone's van Benthem:J.

	Towards a computational semantics [My Copy] In Generalized Quantifiers (1987), pp. 31-71. by Johan van Benthem edited by Peter Gärdenfors posted to no-tag by JakubSzymanik on 2008-10-13 13:11:45 as along with 1 group GQT
	Review of "Stanley Peters and Dag Westerstáhl 'Quantifiers in Language and Logic' " [My Copy] Notre Dame Philosophical Reviews (16 January 2007) by Johan van Benthem posted to no-tag by JakubSzymanik on 2008-10-13 12:59:54 as along with 1 group GQT
	The Tree of Knowledge in Action: Towards a Common Perspective [My Copy] In Advances in Modal Logic (2006), pp. 87-106. by Johan van Benthem, Eric Pacuit edited by Guido Governatori, Ian M. Hodkinson, Yde Venema posted to no-tag by JakubSzymanik on 2008-10-03 12:53:29 as
	Applications of Modal Logic in Linguistics [My Copy] In Handbook of Modal Logic (2006), pp. 1031-1077. by Lawrence Moss, H. J. Tiede edited by Patrick Blackburn, Johan F. A. K. van Benthem, Frank Wolter posted to no-tag by JakubSzymanik on 2008-10-02 12:42:11 as
	Information in Natural Language [My Copy] In Philosophy of Information (2008) by Hans Kamp, Martin Stokhof edited by Johan van Benthem, Pieter Adriaans posted to information language natural semantics by JakubSzymanik on 2008-09-24 15:44:09 as
	The semantics of variety in categorial grammar [My Copy] Vol. Report 83--29 (1983) by Johan van Benthem posted to calculus lambek principles type-shifting by JakubSzymanik on 2008-07-23 16:59:49 as
	Modelling Simultaneous Games with Concurrent Dynamic Logic [My Copy] In A Meeting of the Minds-Proceedings of the Workshop on Logic, Rationality and Interaction (2007) by J. van Benthem, S. Ghosh, F. Liu edited by J. van Benthem, S. Ju, F. Veltman posted to branching concurrent dynamic game logic quantifiers by JakubSzymanik on 2008-06-11 17:26:33 as
	Extensive Games as Process Models [My Copy] Journal of Logic, Language and Information, Vol. 11, No. 3. (1 June 2002), pp. 289-313. by Johan van Benthem posted to bisimulation extensive game games logic by JakubSzymanik on 2008-06-11 17:19:08 as along with 1 person christiankissig
	Logic Games are Complete for Game Logics [My Copy] Studia Logica, Vol. 75, No. 2. (1 November 2003), pp. 183-203. by Johan van Benthem posted to dynamic game logic by JakubSzymanik on 2008-06-11 17:17:42 as
	Game-theoretical semantics [My Copy] In Handbook of Logic and Language (1997), pp. 361-410. by Jaakko Hintikka, Gabriel Sandu edited by Johan van Benthem, Alice T. Meulen posted to no-tag by JakubSzymanik on 2008-03-25 17:49:04 as
	Language in action [My Copy] (1995) by J. van Benthem posted to bibtex-import by JakubSzymanik on 2007-10-16 12:10:43 as

Note: You may cite this page as: http://www.citeulike.org/user/JakubSzymanik/author/van Benthem:J

CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.

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

JakubSzymanik's van Benthem:J [11 articles] Export

JakubSzymanik's tags