Modal realists should fashion their theory by postulating and taking seriously the modal equivalent of tense, or modal tense. This will give them a uniform way to respond to five different objections, one each by Skyrms, Quine, and Peacocke, and two by van Inwagen, and suggest a non-Lewisian path to modal realism. 0. Introduction The extensive parallel between temporal logic and modal logic has...

The modal logic S4F provides an account for the default logic of Reiter, and several modal nonmonotonic logics of knowledge and belief. In this paper we focus on a fragment of the logic S4F concerned with modal formulas called modal defaults, and on sets of modal defaults — modal default theories. We present characterizations of S4F-expansions of modal default theories, and show that strong and...

Abstract Accurate power load prediction is a crucial basis to ensure the balance of supply and demand. This paper provides modified variational modal decomposition (VMD) - long short-term memory (LSTM) algorithm, using genetic algorithm (GA) iteratively optimize number layers penalty factor parameters, VMD obtain components, fuse them with filtered features. Then reconstruction data obtained th...

In order to realize the accurate prediction of vibration fatigue life beam in service, a loose coupling analysis method is proposed carry out with an initial crack. modal analysis, crack segment replaced torsion spring, and damping loss factor introduced by complex modulus elasticity; for simply supported beam, inherent characteristic equation cracked derived. interaction between crack’s growth...

DNN-based cross-modal retrieval is a research hotspot to retrieve across different modalities as image and text, but existing methods often face the challenge of insufficient cross-modal training data. In single-modal scenario, similar problem is usually relieved by transferring knowledge from largescale auxiliary datasets (as ImageNet). Knowledge from such single-modal datasets is also very us...

We study and give a summary of the complexity of 15 basic normal monomodal logics under the restriction to the Horn fragment and/or bounded modal depth. As new results, we show that: a) the satisfiability problem of sets of Horn modal clauses with modal depth bounded by k ≥ 2 in the modal logics K4 and KD4 is PSPACE-complete, in K is NP-complete; b) the satisfiability problem of modal formulas ...

In this paper we discuss a uniform method for constructing free modal and distributive modal algebras. This method draws on works by (Abramsky 2005) and (Ghilardi 1995). We revisit the theory of normal forms for modal logic and derive a normal form representation for positive modal logic. We also show that every finitely generated free modal and distributive modal algebra axiomatised by equatio...

Dynamic model of bearing-rotor system is developed considering the collision effects between cage and its guiding land. The modal characteristic vibration response are studied with fourth-order Runge-Kutta method. It demonstrated that whirling motion arising as a result land would induce abnormal frequency components in system’s including multiple well modulation speed natural frequency. Additi...

We claim that weak necessity modals like English "should" are referential expressions denote pluralities of worlds, against the standard analysis, according to which all modal auxiliaries quantifiers. Weak pattern plural definites when tested for homogeneity effects (Löbner 2000, Križ 2016): they have scopeless readings under negation, tolerate exceptions in certain discourse contexts, and exhi...