Results 11 to 20 of about 1,323,933 (296)
Modal Verb “Shall” in Contemporary American English: A Corpus-Based Study
Respectus Philologicus, 2022 This paper explored the modal verb shall in formal and informal writings in academic and fiction registers. It focused on the frequencies of shall across academic and fiction domains in contemporary American English and the differences in the usage of ...
Maria Caroline Samodra, Barli Bram
doaj +1 more source
The expressive power of modal logic with inclusion atoms [PDF]
, 2015 Modal inclusion logic is the extension of basic modal logic with inclusion atoms, and its semantics is defined on Kripke models with teams. A team of a Kripke model is just a subset of its domain. In this paper we give a complete characterisation for the
Hella, Lauri, Stumpf, Johanna
core +2 more sources
International Journal of Surgery, 2016 The incidental detection of small renal masses on imaging undertaken to evaluate unrelated symptoms or conditions is an increasingly common occurrence. Accurate imaging characterisation is fundamental to determining optimum patient management. The goals of imaging small renal masses include determining whether a lesion is solid or cystic, if there are ...
Alison, Elstob +2 more
openaire +2 more sources
New directions in general fuzzy automata: a dynamic-logical view [PDF]
AUT Journal of Mathematics and Computing, 2020 In the current study, by a general fuzzy automaton we aim at showing a set of propositions related to a given automaton showing that the truth-values are depended on thestates, inputs and membership values of active states at time t.
Khadijeh Abolpour +2 more
doaj +1 more source
Structural Refinement for the Modal nu-Calculus [PDF]
, 2014 We introduce a new notion of structural refinement, a sound abstraction of logical implication, for the modal nu-calculus. Using new translations between the modal nu-calculus and disjunctive modal transition systems, we show that these two specification
A.N. Prior +20 more
core +4 more sources
Thermal Resistance of Gray Modal and Micromodal Socks
AUTEX Research Journal, 2022 Men's socks were produced on a Lonati circular knitting machine in 18 different combinations in multi-plated plain jersey from basic modal and basic micro modal yarn with the addition of cotton or PA multifilament yarn and elastane yarn in the sock cuff.
Skenderi Zenun +3 more
doaj +1 more source
Mathematical Structures in Computer Science, 2020 AbstractAny modality in homotopy type theory gives rise to an orthogonal factorization system of which the left class is stable under pullbacks. We show that there is a second orthogonal factorization system associated with any modality, of which the left class is the class of ○-equivalences and the right class is the class of ○-étale maps.
Felix Cherubini, Egbert Rijke
openaire +2 more sources
Faktor-Faktor Keterbengkalaian Benteng Toboali Sebagai Bangunan Bersejarah
Jurnal Pembangunan Wilayah dan Kota, 2014 Buildings and areas that have historical significance should essentially be seen as an object of cultural heritage that needs to be protected and preserved.
Ari Sutanto
doaj +1 more source
A mitigator in Mandarin: the sentence-final particle ba (吧)
Open Linguistics, 2020 It has been widely claimed in the literature that the sentence-final particle ba in Mandarin Chinese is a modal element. This article argues against this claim and shows that ba is an element that has a unified mitigating function with scope over the ...
Fang Hongmei, Hengeveld Kees
doaj +1 more source
, 2009 Just as Boolean rules define Boolean categories, the Boolean operators define higher-order Boolean categories referred to as modal categories. We examine the similarity order between these categories and the standard category of logical identity (i.e ...
Vigo , Dr. Ronaldo
core +1 more source