Modal logics are appropriate to describe properties of graphs. But usually these are static properties. We investigate dynamic modal operators that can change the model during evaluation. We define the logic SL by extending the basic modal language with the ✸ modality, which is a diamond operator that has the ability to invert pairs of related elements in the domain while traversing an edge of ...

the ambient vibration measurement is a kind of output data-only dynamic testing where the traffics and winds are used as agents responsible for natural or environmental excitation. therefore an experimental modal analysis procedure for ambient vibration testing needs to base itself on output-only data. the modal analysis involving output-only measurements present a challenge that requires the u...

the paper investigates into the vibrational characteristics of the truck chassis including the natural frequencies and mode shapes. truck chassis forms the structural backbone of a commercial vehicle. when the truck travels along the road, the truck chassis is excited by dynamic forces caused by the road roughness, engine, transmission and more. modal analysis using finite element method (fem) ...

Modal logics have found applications in many different contexts. For example, epistemic modal logics can be used to reason about security protocols, temporal modal logics can be used to reason about the correctness of distributed systems and propositional dynamic logic can reason about the correctness of programs. However, pure modal logic is expressively weak and cannot represent many interest...

For a number of years, temporal and modal logics have been applied outside pure logic in areas such as formal methods, theoretical computer science and artiicial intelligence. In our research we are particularly interested in the use of modal logics in the characterisation of complex components within software systems as intelligent or rational agents. This approach allows the system designer t...

In this paper, free and forced vibration of simply-supported Single-walled carbon nanotube is investigated under the moving nanoparticle by considering nonlocal cylindrical shell model. To validate the theoretical results, modal analysis of nanotube is conducted using ANSYS commercial software. Excellent agreement is exhibited between the results of two different methods. Furthermore, the dynam...

modal verbs and their different meanings can be investigated on the basis of various theoretical frameworks. in this paper, persian modal verbs are examined and analyzed in terms of degrees and kinds of modality proposed by palmer (1990). our analysis shows that although bǎyad ‘must’ does not entail the proposition, it is used to express three degrees of epistemic modality, two degrees of dynam...

This paper provides a mechanism to deal with static/dynamic properties in a web-based Multi-Modal Interaction (MMI) system. The static/dynamic properties in this paper include user profile, user’s facial expression, surrounding environment, and so on. By using these properties, the MMI system can make interaction more natural based on context or situation. To consolidate these properties into a...

We propose a family of dynamic logics of propositional control. They extend classical propositional logic by a variety of modal operators of assignment, and modal operators of transfer of control over a propositional variable. We also present an extension with operators of knowledge. We essentially focus on their formal properties, stating their complexity and their proof theory.