This note is a friendly amendment to Marti’s analysis of the failure of Føllesdal’s argument that modal distinctions collapse in Carnap’s logic S2. Føllesdal’s argument turns on the treatment of descriptions. Marti considers how modal descriptions, which Carnap banned, might be handled; she adopts an approach which blocks Føllesdal’s argument, but requires a separate treatment of non-modal desc...

These notes were written by Wang Yafeng following a course of three intensive lectures on classical themes in mathematical modal logic given by Johan van Benthem in the Berkeley-Stanford Logic Circle, San Francisco, May 2015. Some of this material was collected in the monograph van Benthem [13], [16], other parts come from later publications. We will provide some references to further relevant ...

A modal analysis procedure is used to model suspended compressors and their excitation forces. The modal method evaluates the dynamic spring forces, modal spring forces, and modal forcing function to determine the effects of a change in suspension configuration on transmitted spring forces. Valuable design insight is gained since the modal parameters explain the behavior of suspension systems d...

We reexamine the modal-calculus in the light of some classical theory of Boolean algebras and recent results on duality theory for a modal logic with xed points. We propose interpreting formulas into a eld of subsets of states instead of the full power set lattice used by Kozen. Under this interpretation we relate image compact modal frames with Scott continuity of the box modality, m-saturated...

This paper investigates audio-visual interaction, i.e. inter-modal influences, in linear-regressive model adaptation for multi-modal speech recognition. In the multi-modal adaptation, inter-modal information may contribute the performance of speech recognition. Thus the influence and advantage of intermodal elements should be examined. Experiments were conducted to evaluate several transformati...

The title reflects my conviction that, viewed semantically, modal logic is fundamentally dialogical; this conviction is based on the key role played by the notion of bisimulation in modal model theory. But this dialogical conception of modal logic does not seem to apply to modal proof theory, which is notoriously messy. Nonetheless, by making use of ideas which trace back to Arthur Prior (notab...

We consider the modal-calculus due to Kozen, which is a nitary modal logic with least and greatest xed points of monotone operators. We extend the existing duality between the category of modal algebras with homomorphisms and the category of descriptive modal frames with contractions to the case of having xed point operators. As a corollary, we obtain a completeness result for Kozen's original ...

This paper describes a model of the choice of modal verbs and modal particles. The choice mechanism does not require a modality-specific input as, e.g., a modal logical formula. Instead semantic (modal force) and pragmatic constraints (speech act marking) are applied to the available information on the whole and constrain the set of modal candidates to those that are appropriate in the respecti...

This paper uses a PSOPC model based non-destructive damage identification procedure using frequency and modal data. The objective function formulation for the minimization problem is based on the frequency changes. The method is demonstrated by using a cantilever beam, four-bay plane truss and two-bay two-story plane frame with different scenarios. In this study, the modal data are provided nume...

We study the expressive power of various modal logics with team semantics. We show that exactly the properties of teams that are downward closed and closed under team k-bisimulation, for some finite k, are definable in modal logic extended with intuitionistic disjunction. Furthermore, we show that the expressive power of modal logic with intuitionistic disjunction and extended modal dependence ...