It was proved in [4] that interpolation properties of propositional normal modal logics (n.m.l.) are closely connected with amalgamation properties of associated varieties of modal algebras. In this paper we find an algebraic equivalent of the Hallden property in modal logics, namely, we prove that the Hallden-completeness in any n.m.l. is equivalent to the so-called Super-Embedding Property of...

Abstract The article presents an experimental method of determining the geometric properties jet engine rotor airfoils based on modal vibration testing. procedure is adjusting results analytical calculations to laboratory outcomes. Experimental tests were carried out a set 20 fan blades made AL7022-t6 aluminium alloy. Each blade differed in weight and dimensions within accepted design tolerance...

This paper examines various propositional logics in which the dynamic implication connective ⇒ (discussed in Groenendijk and Stokhof’s (1992) Dynamic Predicate Logic and Kamp’s (1981) Discourse Representation Theory) plays the central role. Our approach is modal: we view ⇒ as a binary modal operator in a two dimensional modal logic. Two dimensional modal logics are systems in which formulas are...

Structural joints provide connection between structural element (beam, plate etc.) in order to construct a whole assembled structure. There are many types of structural joints such as bolted joint, riveted joints and welded joints. The joints structures significantly contribute to structural stiffness and dynamic behaviour of structures hence the main objectives of this paper are to review on m...

Characterization results for modal logics below first order identifies them as a fragment of first order logic. These results are very important to analyze the expressive power of a given logic. The first work in this direction was done by van Benthem [12] who used bisimulations to characterize the basic modal logic as the bisimulation invariant fragment of first order logic. There exists a hug...

When a metaprogram automatically creates rules, some created rules are useless because they can never apply. Some metarules, that we call impossibility metarules, are used to remove useless rules. Some of these metarules are general and apply to any generated program. Some are domain specific metarules. In this paper, we show how dynamic metaprogramming can be used to create domain specific imp...

We briefly give an overview of Dynamic Epistemic Logic (DEL), mainly in semantic terms. We focus on the simplest of epistemic actions in DEL, called public announcements. We also sketch the effect of more complex epistemic actions, and briefly show how als factual change can be modelled in the same framework. We then apply the logic of public announcements in DEL to the analysis of a knowledge ...

* The work reported in this paper has been funded in part by the Cooperative Research Centres Program through the Department of the Prime Minister and Cabinet of the Commonwealth Government of Australia. Abstract Workflow technology has emerged as an appropriate platform for consolidating the distributed information resources of an enterprise, promoting interoperability across cross-platform sy...

We present the first combined use of the electromyogram (EMG) and mechanomyogram (MMG), two biosignals that result from muscular activity, for interactive music applications. We exploit differences between these two signals, as reported in the biomedical literature, to create bi-modal sonification and sound synthesis mappings that allow performers to distinguish the two components in a single c...

The syntax, semantics and an axiom system for an extension of Propositional Dynamic Logic (PDL) for order of magnitude qualitative reasoning which formalizes the concepts of closeness and distance is introduced in this paper. In doing this, we use some of the advantages of PDL: firstly, we exploit the possibility of constructing complex relations from simpler ones for defining the concept of cl...