2 Conjunctive Nu-calculus and Modal Specifications 4 2.1 The Conjunctive Nu-calculus . . . . . . . . . . . . . . . . . . . 5 2.1.1 Syntax . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 2.1.2 Semantics . . . . . . . . . . . . . . . . . . . . . . . . . 5 2.2 Modal Specifications and Their Models . . . . . . . . . . . . . 6 2.2.1 Modal Specifications . . . . . . . . . . . . . . . . . . . ...

Known results on global definability in basic modal logic are generalized in the following sense. A class of Kripke models is usually called modally definable if there is a set of modal formulas such that a class consists exactly of models on which every formula of that set is globally true, i. e. universally quantified standard translations of these formulas to the corresponding first order la...

Ein möglicher Ansatzpunkt zur Reduzierung der Treibhausgasemissionen des Verkehrs besteht im Verbot bzw. Wegfall Inlandsluftverkehrs in Deutschland. In diesem Papier wird Einfluss einer solchen Maßnahme auf die Verkehrsleistung, den Modal Split und innerdeutschen Personenfernverkehr untersucht. Dazu ein systemdynamisches Simulationsmodell verwendet, mit dem sich künftige Entwicklungen Personenf...

This paper focuses on the turbine-generator shaft models of double-cage Induction Generator (IG) based wind farm and its influence on the sub-synchronous resonance phenomenon. For this purpose, six different shaft models as 6-mass, 4-mass, 3-mass I, 3-mass II, 2-mass and 1-mass models are considered for double-cage IG wind-turbine. By using the linear modal analysis method, the effects of the d...

In, Calcutta, one of the largest metropolis of the world, the mass transportation has already reached alarming situation. All the major forms of metro, railways, roads and waterways are available to provide mass transport services to this city. An attempt has been made to use non-conventional abstract mathematical theory to solve multimodal mass transport system. Fuzzy functions have been used ...

The output data from a structure is the building block for output-only modal analysis. The structure response in the output data, however, is usually contaminated with noise. Naturally, the success of output-only methods in determining the modal parameters of a structure depends on noise level. In this paper, the possibility and accuracy of identifying the modal parameters of a simply supported...

We consider the Gödel bi-modal logic determined by fuzzy Kripke models where both the propositions and the accessibility relation are infinitely valued over the standard Gödel algebra [0,1] and prove strong completeness of Fischer Servi intuitionistic modal logic IK plus the prelinearity axiom with respect to this semantics. We axiomatize also the bi-modal analogues of T, S4, and S5 obtained by...