Results 21 to 30 of about 3,384 (264)
Vocatives: correlating the syntax and discourse at the interface
Cogent Arts & Humanities, 2018 Vocative expressions have been neglected in linguistic inquiry until very recently. This article provides a novel approach to the study of vocatives based on correlating the syntax and discourse at the interface.
Mohammed Q. Shormani +1 more
doaj +1 more source
Revision and classification of past participles with the typological prototype approach [PDF]
زبان پژوهی, 2021 INTRODUCTION In this research, we have had an exact categorization for different kinds of derivational and derivational-compound past participles in the frame of typological prototypes which is a universal approach towards the parts of speech.
Mitra Hoseingholian +1 more
doaj +1 more source
Propositional Gerunds in English and Spanish
Journal of English Studies, 2011 This paper offers a characterization of Propositional Gerunds in English and Spanish that hinges on the different feature specification of the gerund morpheme in each language.
Ana Ojea
doaj +1 more source
Peculiarities of Multilanguage Communication in Kosh-Agach District of the Republic of Altai
Polylinguality and Transcultural Practices, 2018 This article is about the language situation that has developed in Kosh-Agach district of the Republic of Altay, where Altaians, Kazakhs and Russians coexist.
Ludmila Alekseevna Araeva +1 more
doaj +1 more source
On the Structure of Quantal Proposition Systems
, 1975 It is shown that the axiom of atomicity and the covering law can be justified on the basis of a new and more satisfactory notion of state and the existence of ideal measurements of the first kind. These two axioms are thereby given a satisfactory justification in terms of empirical facts known about micro-systems.
Jauch, Joseph-Maria, Piron, Constantin
openaire +2 more sources
Automata Techniques for Epistemic Protocol Synthesis [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 In this work we aim at applying automata techniques to problems studied in Dynamic Epistemic Logic, such as epistemic planning. To do so, we first remark that repeatedly executing ad infinitum a propositional event model from an initial epistemic model ...
Guillaume Aucher +2 more
doaj +1 more source
Interval-based Synthesis [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 We introduce the synthesis problem for Halpern and Shoham's modal logic of intervals extended with an equivalence relation over time points, abbreviated HSeq.
Angelo Montanari, Pietro Sala
doaj +1 more source
Specification Structures and propositions-as-types for concurrency
, 1996 Many different notions of “property of interest” and methods of verifying such properties arise naturally in programming. A general framework of “Specification Structures” is presented for combining different notions and methods in a coherent fashion. This is then applied to concurrency in the setting of Interaction Categories.
Samson Abramsky +2 more
openaire +2 more sources
Studia z Filologii Polskiej i Słowiańskiej, 2019 Forms of Representation of Propositional Argument in Bulgarian, Polish and Russian Expressions Based on the Mental Predicate This article offers a discussion of Bulgarian, Polish and Russian mental verbs from the perspective of syntactic valence.
Aleksander Kiklewicz
doaj +1 more source
International Journal of Adaptive Control and Signal Processing, EarlyView.This article proposes a convergent adaptive observer for a damped wave PDE and an infinite‐dimensional ODE coupled in cascade using sampled‐in‐space ODE state measurements. The proposed observer estimates the distributed states of the PDE and ODE along with unknown PDE parameters and spatial input.
Zehor Belkhatir +2 more
wiley +1 more source