A recent neuropsychological study of patients with postencephalitic amnesia raised the possibility that limbic regions within the medial temporal lobe might be important for forming cross-modal associations. The present study evaluated cross-modal matching in amnesic patients with damage to the hippocampal formation or the diencephalon. The patients with hippocampal formation damage were fully ...

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

Previous results for combining decision procedures for the word problem in the non-disjoint case do not apply to equational theories induced by modal logics—which are not disjoint for sharing the theory of Boolean algebras. Conversely, decidability results for the fusion of modal logics are strongly tailored towards the special theories at hand, and thus do not generalize to other types of equa...

The idea that a logically possible world is identical with or can be described as a maximally consistent proposition set is a fundamental assumption of the conventional model set theoretical semantics for modal logic. Although the concept is formally unproblematic, philosophically there are serious difficulties in the standard definition of a logically possible world. I want to raise philosophi...

Complex structures often include hollow parts. These hollow parts constitute the skeleton of the structure and are largely responsible for its global behavior, hence the importance of analyzing them precisely. The method we propose in this paper is a modal method based on the modal analysis of elements of hollow parts. This method does not require nodal degrees of freedom on the boundaries betw...

Modal testing is a well established technique used to extract modal parameters such as natural frequencies, modal damping factors and vibration mode shapes from structures. Here, the technique is applied to a relatively new percussion instrument – the steelpan. The steelpan also referred to as the Caribbean steel drum or pan originated in Trinidad and Tobago during the Second World War. In this...

Classical modal logics, based on the neighborhood semantics of Scott and Montague, provide a generalization of the familiar normal systems based on Kripke semantics. This paper defines AGM revision operators on several first-order monotonic modal correspondents, where each first-order correspondence language is defined by Marc Pauly’s version of the van Benthem characterization theorem for mono...

Modal μ-calculus is a modal logic with fixed-point operators and well-known in mathematics and computer scince. For example, many verification properties of a system are expressed by formulas of modal μcalculus in computer science. However some verification properties of a system can not be expressed by a formula of modal μ-calculus as we will show later, and quantifiers of first-order logic ar...