Results 1 to 10 of about 2,148,404 (272)
Applied Koopman Operator Theory for Power Systems Technology [PDF]
arXiv.org, 2016 Koopman operator is a composition operator defined for a dynamical system described by nonlinear differential or difference equation. Although the original system is nonlinear and evolves on a finite-dimensional state space, the Koopman operator itself ...
Y. Susuki +3 more
semanticscholar +5 more sources
Rhetorical Questions and Polarity Licensing: On Cantonese Modal Sai2
Studies in Chinese Linguistics, 2022 This paper investigates the deontic modal sai2 in Cantonese. I argue that sai2 is an NPI and a negative operator is induced at the sentence-initial position by the SFPs me1 or aa4 in rhetorical questions.
Choi Tsun Hei
doaj +1 more source
Learning Multi-Modal Self-Awareness Models for Autonomous Vehicles from Human Driving [PDF]
Fusion, 2018 This paper presents a novel approach for learning self-awareness models for autonomous vehicles. Proposed technique is based on the availability of synchronized multi-sensor dynamic data related to different maneuvering tasks performed by a human ...
Mahdyar Ravanbakhsh +6 more
semanticscholar +1 more source
Why Does Propositional Quantification Make Modal and Temporal Logics on Trees Robustly Hard? [PDF]
Logical Methods in Computer Science, 2022 Adding propositional quantification to the modal logics K, T or S4 is known to lead to undecidability but CTL with propositional quantification under the tree semantics (tQCTL) admits a non-elementary Tower-complete satisfiability problem. We investigate
Bartosz Bednarczyk, Stéphane Demri
doaj +1 more source
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
Inverses for Normal Modal Operators
Studia Logica, 1997 A modality \(L\) is a left inverse of \(\square\) in a logic S if \(L\square p\leftrightarrow p\) is provable in S. Existence of inverses is connected to derivability of \(\square^m p\leftrightarrow p\) in S.
Humberstone, L, Williamson, T
openaire +3 more sources
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
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