We provide a simple translation of the satisfiability problem for regular grammar logics with converse into GF2, which is the intersection of the guarded fragment and the 2-variable fragment of first-order logic. The translation is theoretically interesting because it translates modal logics with certain frame conditions into first-order logic, without explicitly expressing the frame conditions. It is practically relevant because it makes it possible to use a decision procedure for the guarded fragment in order to decide regular grammar logics with (...) converse. The class of regular grammar logics includes numerous logics from various application domains. A consequence of the translation is that the general satisfiability problem for every regular grammar logics with converse is in EXPTIME. This extends a previous result of the first author for grammar logics without converse. Other logics that can be translated into GF2 include nominal tense logics and intuitionistic logic. In our view, the results in this paper show that the natural first-order fragment corresponding to regular grammar logics is simply GF2 without extra machinery such as fixed-point operators. (shrink)

There has been a significant growth in volume and disciplines working on Jewish history and culture in Finland for the past fifteen years, yet no systematic overview of scholarly efforts have been available. This article aims to fill this gap. Our focus is on the disciplines of linguistics, cultural studies and history. Our overview covers monographs and articles that have appeared in academic publications since 2000, with a focus on Finland. Consequently we have left out Finnish research on Jews in (...) other parts of the globe from our review. About half of the works introduced in this article have been published in Finnish and will now be briefly introduced to a wider Nordic scholarly community. The article consists of four parts. First we discuss Jewish studies and social history pursued in Finland. We then discuss studies focusing on antisemitism in Finland. The third part introduces the relevant literature on Finland’s role in the Second World War and its responsibility towards the conflict’s Jewish refugees and prisoners of war, after which studies on Finnish history culture and memory politics are presented. The final part presents biographies and general studies about the Jewish community in Finland. (shrink)

This paper presents an experimental study investigating artificial grammar learning (AGL) in monolingual and bilingual children, with and without dyslexia, using an original methodology. We administered a serial reaction time (SRT) task, in the form of a modified Simon task, in which the sequence of the stimuli was manipulated according to the rules of a simple Lindenmayer grammar (more specifically, a Fibonacci grammar). By ensuring that the subjects focused on the correct response execution at the motor stage in presence of (...) congruent or incongruent visual stimuli, we could meet the two fundamental criteria for implicit learning: the absence of an intention to learn and the lack of awareness at the level of resulting knowledge. The participants of our studies were four groups of 10-year-old children: 30 Italian monolingual typically developing children, 30 bilingual typically developing children with Italian L2, 24 Italian monolingual dyslexic children and 24 bilingual dyslexic children with Italian L2. Participants were administered the modified Simon task developed according to the rules of the Fibonacci grammar and tested with respect to the implicit learning of three regularities: (i) a red is followed by a blue; (ii) a sequence of two blues is followed by a red and (iii) a blue can be followed either by a red or by a blue. Results clearly support the hypothesis that implicit learning took place, since participants of all groups became increasingly sensitive to the structure of the input, implicitly learning the sequence of the trials and thus appropriately predicting the occurrence of the relevant items, as manifested by faster reaction times in predictable trials. Moreover, group differences were found, with bilinguals being overall faster than monolinguals and dyslexics less accurate than controls. Finally, an advantage of bilingualism in dyslexia was found, with bilingual dyslexics performing consistently better than monolingual dyslexics and, in some conditions, at the level of the two control groups. These results are taken to suggest that bilingualism should be supported also among linguistically impaired individuals. (shrink)

Gödel's Incompleteness Theorems have the same scientific status as Einstein's principle of relativity, Heisenberg's uncertainty principle, and Watson and Crick's double helix model of DNA. Our aim is to discuss some new faces of the incompleteness phenomenon unveiled by an information-theoretic approach to randomness and recent developments in quantum computing.