Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 6 of 6 for “"Universal quantification"”.
-
Universal quantification in the nominal domain in American Sign Language
While quantification in American Sign Language (ASL) has been an object of linguistic investigation for more than two decades, there are still relatively few studies on that topic. Most crucially, detailed descriptions of many aspects of quantification in ASL are still lacking. This dissertation is …
-
A Theory of Testing for Asynchronous Concurrent Systems
… of the equivalence that do away with universal quantification over contexts. Using these characterizations one can thus establish an equivalence by simply comparing the semantic mappings of the given processes in an abstract domain instead of accounting for their interactions with all …
-
The semantics of the future
… to argue that these methods all involve universal quantification over subsets of metaphysically accessible futures. One factor in determining which worlds a modal quantifies over is the temporal argument of the modal's accessibility relation. It is well-known that a higher tense affects …
-
Negation in Turaif Arabic: Not the last word.
… issues related to neg raising predicates and universal quantification. Building on previous syntactic accounts of negation in LFG, I treat sentential negative particles mā and lā as non-projecting words occurring under the Neg-hat category as sisters of the verbal predicate at the terminal …
-
Definiteness and Quantification: Evidence from Shan
… I develop an account of definiteness and quantification that (i) connects the mass/count distinction to atomicity—providing a unified approach to count and measure quantification, (ii) argues that classifier morphology is required by cumulative nouns, (iii) proposes a typology of …
-
A Lightweight Defeasible Description Logic in Depth
… of a related concept in terms of existential and universal quantification. Previous approaches to RC (and more advanced closures) are not able to derive typical behaviour for the concepts that occur within such quantification. The main contribution of this work is to introduce stronger semantics …