Valency lexicons are valuable resources for natural language processing. The need for new resources for languages encourages researchers to collect new datasets. One of the most important datasets is valency lexicons. In valency lexicons, information about obligatory and optional complements of words is annotated at the syntactic and semantic levels. In this paper, we report the development of ...

RoCTL* was proposed to model and specify the robustness of reactive systems. RoCTL* extended CTL* with the addition of Obligatory and Robustly operators, which quantify over failure-free paths and paths with one more failure respectively. This paper gives an axiomatisation for all the operators of RoCTL* with the exception of the Until operator; this fragment is able to express similar contrary...

In classifier languages, nouns must appear with one of a series of classifiers in order to be modified by a numeral. This squib presents new data from Mi’gmaq (Algonquian) and Chol (Mayan), arguing that classifiers are required due to the syntactic and semantic properties of the numeral (as in Krifka 1995), rather than the noun (as in Chierchia 1998). The results are shown to have important con...

The article highlights the problem of distance learning Ukrainian language in general secondary education. Emphasis is placed on its features and advantages, prospects are described. It noted that a form based use wide range traditional new information telecommunications technologies, which at different stages educational process provide interactive interaction between teachers students, studen...

Children's productions of the affix -ed in past tense and past participle contexts (e.g., the boy kicked the ball vs. the ball was kicked) were examined in spontaneous conversations and elicited productions. The performances of 7 children with specific language impairment (SLI) were compared with those of 2 control groups of typically developing children (age matches, MLU matches). Children wit...

This paper reports a new kind of tone polarity, where the phenomenon is seen in language with four level tones, Tenyidie (also known as Angami). I show that polarity features i.e. at subtonal level. The data also provide evidence tones themselves can be broken down into smaller features. Furthermore, demonstrate pattern observed an epiphenomenon, reflex Obligatory Contour Principle, not phonolo...

We introduce Multimodal Logics of Normative Systems as a contribution to the development of a general logical framework for reasoning about normative systems over logics for Multi-Agent Systems. Given a multimodal logicL, for every modality 2i and normative system η, we expand the language adding a new modality 2ηi with the intended meaning of 2 η i φ being ”φ is obligatory in the context of th...

We introduce Multimodal Logics of Normative Systems as a contribution to the development of a general logical framework for reasoning about normative systems over logics for Multi-Agent Systems. Given a multimodal logic L, with standard Kripke semantics, for every modality 2i and normative system η, we expand the language adding a new modality 2ηi with the intended meaning of 2 η i φ being "φ i...

In several languages and dialects of north-western Europe, preaspiration – the early timing of glottal abduction relative to oral closure in vowels preceding a voiceless stop consonant – has become normative in the sense of being an obligatory feature of sequences of vowel and fortis stop. Impressionistic observations suggest that non-normative preaspiration may occur across the whole Scandinav...

In this paper we continue to develop the approach to automated search for theorem proofs started in Kyiv in 1960-1970s. This approach presupposes the development of deductive techniques used for the processing of mathematical texts, written in a formal first-order language, close to the natural language used in mathematical papers. We construct two logical calculi, gS and mS, satisfying the fol...