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...

The modal split model is one of the steps of the classical four-step travel demand planning. Predictive, descriptive, and prescriptive modal split models are essential to make a balance between travel demand and supply. To calibrate these models, it is necessary to detect and employ influential independent variables that are related to characteristics of travel modes, individual and family attr...

A general method of automated modal logic theorem proving is discussed and illustrated. This method is based on the sub-stitutional framework for the development of systems for hybrid reasoning. Sentences in modal logic are translated into a constraint logic in which the constraints represent the connections between worlds in the possible world semantics for modal logic. Deduction in the constr...

This paper presents fuzzy logic based independent modal space control (IMSC) and fuzzy logic based modified independent modal space control (MIMSC) of vibration. The rule base of the controller consists of nine rules, which have been derived based upon simple human reasoning. Input to the controller consists of the first two modal displacements and velocities of the structure and the output of ...

background: as regards multilocus sequence typing (mlst) method directly analyze the polymorphism within dna sequences; we performed the first nationwide study on the genotypic relationships of candida albicans strains obtained from oropharynx and bronchoalveolar lavage (bal) samples from immunocompromised patients. methods: fourteen epidemiologically unrelated clinical strains of c. albicans w...

Well-known results due to David Makinson show that there are exactly two Post complete normal modal logics, that in both of them, the modal operator is truthfunctional, and that every consistent normal modal logic can be extended to at least one of them. Lloyd Humberstone has recently shown that a natural analog of this result in congruential modal logics fails, by showing that not every congru...

Cross-modal retrieval has drawn wide interest for retrieval across different modalities of data (such as text, image, video, audio and 3D model). However, existing methods based on deep neural network (DNN) often face the challenge of insufficient cross-modal training data, which limits the training effectiveness and easily leads to overfitting. Transfer learning is usually adopted for relievin...

in treating the subject of musical language, a persian musician would be intrinsically drawn to the structural similarities between the persian music and language. indeed persian music and language are extremely related in their metrics, intonations and structural phrases (syntax). although we will draw upon this relationship, our aim in this article is to present “music as a language,” consist...