Results 41 to 50 of about 2,148,404 (272)
Conceptual modeling in full computation‐tree logic with sequence modal operator
International Journal of Intelligent Systems, 2011 In this paper, we propose a method for modeling concepts in full computation‐tree logic with sequence modal operators. An extended full computation‐tree logic, CTLS*, is introduced as a Kripke semantics with a sequence modal operator.
K. Kaneiwa, N. Kamide
semanticscholar +1 more source
A Henkin-style completeness proof for the modal logic S5 [PDF]
Chinese Conference on Logic and Argumentation, 2019 This paper presents a recent formalization of a Henkin-style completeness proof for the propositional modal logic S5 using the Lean theorem prover. The proof formalized is close to that of Hughes and Cresswell [9], except that it is given for a system ...
Bruno Bentzen
semanticscholar +1 more source
Belief as Willingness to Bet [PDF]
, 2014 We investigate modal logics of high probability having two unary modal operators: an operator $K$ expressing probabilistic certainty and an operator $B$ expressing probability exceeding a fixed rational threshold $c\geq\frac 12$.
Renne, Bryan, van Eijck, Jan
core +2 more sources
, 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
Complexity Results for Modal Dependence Logic [PDF]
, 2010 Modal dependence logic was introduced recently by V\"a\"an\"anen. It enhances the basic modal language by an operator =(). For propositional variables p_1,...,p_n, =(p_1,...,p_(n-1);p_n) intuitively states that the value of p_n is determined by those of ...
F.M. Donini +8 more
core +3 more sources
Вестник Северо-Кавказского федерального университета, 2022 The article is devoted to the text realization means study of the negation category and finding out the communicative-pragmatic potential of different status negations in the short story «Nichts als Gespenster» by Judith Hermann, the modern German writer.
Svetlana V. Serebriakova
doaj
Modal Indicators for Operational Modal Identification
, 2001 Modal validation is of paramount importance for all two-stage time domain modal identification algorithms. However, due to a higher noise/signal ratio in operational/ambient modal analysis, being able to determine the right model order and to distinguish between structural modes and computational modes become more significant than in traditional modal ...
Zhang, L., Brincker, Rune, Andersen, P.
openaire +2 more sources
A study of operator and parameter choices in non-revisiting genetic algorithm [PDF]
, 2009 We study empirically the effects of operator and parameter choices on the performance of the non-revisiting genetic algorithm (NrGA). For a suite of 14 benchmark functions that include both uni-modal and multi-modal functions, it is found that NrGA is ...
Chow, CK, Yuen, SY
core +1 more source
On the Semantics of Imperatives in Persian [PDF]
مطالعات زبانها و گویشهای غرب ایران, 2018 The present paper aims to analyze the imperatives in Persian form a formal semantics viewpoint. Basically, as well as the ‘directive’ meaning as their default reading, the imperatives express a variety of other illocutionary forces.
Hossein Moghani
doaj
Modal Analysis Using Operating Modal Identification Method
Chinese Journal of Aeronautics, 2004 AbstractSometimes it is very difficult for some large scale operating structures to measure the input forces. Modal parameters must be estimated on response only. A poly-reference time domain operating modal identification complex exponential method is presented since cross-correlation functions have the same form as impulse response functions.
ZHENG, Min +3 more
openaire +1 more source