Results 21 to 30 of about 123,099 (101)
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
Two deductions systems for the Logic PM4N
Intermaths, 2022 The logic PM4N was introduced by Jean-Yves Beziau as a modal and 4-valued system. In this introductory paper, the author presented the system from a matrix logic with four values disposed in a Boolean algebra with a modal operator for the notion of ...
Hércules de Araújo Feitosa +2 more
doaj +1 more source
Some New Equalities On The Intuitionistic Fuzzy Modal Operators
Sakarya Üniversitesi Fen Bilimleri Enstitüsü Dergisi, 2018 In thisstudy, properties of the two modal operator defined on intuitionistic fuzzy sets wereinvestigated. Afterwards, some intuitionistic fuzzy operationswere researched with modal operators. New equalities were obtained and proved.
Feride Tuğrul, Mehmet Çitil
doaj +1 more source
Measurement + Control, 2021 In order to effectively identify and extract the composite fault characteristics of the gear transmission system, a composite fault diagnosis method combining nonlinear mode decomposition (NMD) and Teager energy operator demodulation is proposed. Because
Jingyue Wang +3 more
doaj +1 more source
Exhaustification in the semantics of cause and because
Glossa, 2023 We show that a single operation can account for three seemingly distinct properties of the semantics of cause and because. The properties are, firstly, their comparative nature: interpreting cause and because involves comparing what would happen in the ...
Dean Michael McHugh
doaj +2 more sources
Some Logics in the Vicinity of Interpretability Logics
Bulletin of the Section of Logic, 2023 In this paper we shall define semantically some families of propositional modal logics related to the interpretability logic \(\mathbf{IL}\). We will introduce the logics \(\mathbf{BIL}\) and \(\mathbf{BIL}^{+}\) in the propositional language with a ...
Sergio A. Celani
doaj +1 more source
A new intuitionistic fuzzy extended modal operator [PDF]
Notes on IFSA new intuitionistic fuzzy extended modal operator from a first type is introduced and some of its properties are discussed. It is shown that it represents all hitherto existing intuitionistic fuzzy extended modal operators from a first type.
Krassimir Atanassov
doaj +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
A Neighbourhood Semantics for the Logic TK
Principia: An International Journal of Epistemology, 2011 The logic TK was introduced as a propositional logic extending the classical propositional calculus with a new unary operator which interprets some conceptions of Tarski’s consequence operator. TK-algebras were introduced as models to TK. Thus, by using
Cezar A. Mortari +1 more
doaj +3 more sources