The aim of the present paper is to discuss two different approaches for formulating independence friendly (IF) modal logic. In one of them, the language of basic modal logic is enriched with the slash notation familiar from IF first-order logics, and the resulting logic is interpreted in terms of games and uniform strategies. A different approach is formulated in the present paper: an IF modal ...

Modal languages were originally based on the possible-world approach proposed by Lewis, Carnap and others. In other words, modal languages were originally designed to talk about necessity (the box) and possibility (the diamond). Nowadays, modal languages (and certain natural extensions like dynamic languages, μ-calculus language, . . . ) are viewed as tools for analyzing the properties of Kripk...

The possible worlds semantics is a fruitful approach used in Artificial Intelligence (AI) for both modelling as well as reasoning about knowledge in agent systems via modal logics. In this work our main idea is not to model/reason about knowledge but to provide a theoretical framework for knowledge assessment (KA) with the help of Monatague-Scott (MS) semantics of modal logic. In KA questions a...

Dynamic interaction between two bodies, where one is significantly more flexible than the other, is common (e.g. rotor-casing contact). This paper presents a linear model for simulating contact between rigid and flexible bodies. The motion between contacts is predicted by modal superposition, using separate models for the two components. During contact, the models are coupled via a linear conta...

Madal performance is the basic characteristics of structures, which will help to further understand vibration structures. Besides, fluid (e.g. water) coupled with structure strongly affact modal structure. To get clear performance, Modal tests are conducted for two-layered plate both in air and water, frequency mode shape given. With comparative analysis frequencies these two cases, it’s shown ...

The effect of thermally induced stress on the modal properties of highly elliptical core optical fibers is studied in this work using a finite element method. The stress analysis is carried out and anisotropic refractive index change is calculated using both the conventional plane strain approximation and the generalized plane strain approach. After considering the stress optical effect, the mo...

The finite element method is applied in the time domain to establish formulations for the integration of first-order and parabolic (transient) problems. The modal decomposition concept is applied using two distinct approaches. The first is based on modal decomposition in the space domain to recover the well-established method for uncoupling the parabolic system of equations. To overcome the lim...