JakubSzymanik's logic [7 articles] Export

Recent papers added to JakubSzymanik's library classified by the tag logic. You can also see everyone's logic.

	Dynamic predicate logic [My Copy] Linguistics and Philosophy, Vol. 14, No. 1. (1 February 1991), pp. 39-100. by Jeroen Groenendijk, Martin Stokhof posted to dynamic logic by JakubSzymanik on 2008-08-18 14:00:09 as
	Selected essays (History of logic) [My Copy] by Jean Van Heijenoort posted to and history logic meaning of truth by JakubSzymanik on 2008-08-18 12:59:03 as
	Logic and the complexity of reasoning [My Copy] Journal of Philosophical Logic, Vol. 17, No. 4. (1 November 1988), pp. 355-389. by Hector J. Levesque posted to complexity computational logic reasoning by JakubSzymanik on 2008-06-25 13:27:07 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
	Mathematical Logic [My Copy] (15 November 1996) by H. D. Ebbinghaus, J. Flum, W. Thomas posted to logic mathematical by JakubSzymanik on 2008-04-24 10:31:31 as along with 1 person NitinCR

Note: You may cite this page as: http://www.citeulike.org/user/JakubSzymanik/tag/logic

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 logic [7 articles] Export

JakubSzymanik's tags