Assessing the quality of conceptual models is key to ensure that conceptual models can be used effectively as a basis for understanding, agreement and construction of information systems. This paper proposes an approach to assess conceptual models defined in OntoUML by transforming these models into specifications in the logic-based language Alloy. These Alloy specifications include the modal a...

We present a modal extension of classical propositional logic in which intuitionistic propositional logic is mirrored by means of the modal operator. In this sense, the modal extension combines classical and intuitionistic propositional logic avoiding the collapsing problem. Adopting ideas from a recent paper (S. Lewitzka, A denotational semantics for a Lewis-style modal system close to S1, 201...

The advent of digital sound synthesis has offered to the musical researcher the possibility of exploring the concept of musical instrument in its broader sense. One principal axis of interest of the IRCAM Musical Acoustics Team is research on modelisation of musical instrument oscillation, the computer implementation of the models that arise, and the evaluation of the musical interest that the ...

In this study, an approach for damage detection of large-scale structures is developed by employing kinetic and modal strain energies and also Heuristic Particle Swarm Optimization (HPSO) algorithm. Kinetic strain energy is employed to determine the location of structural damages. After determining the suspected damage locations, the severity of damages is obtained based on variations of modal ...

We prove new Lindström theorems for the basic modal propositional language, and for the guarded fragment of first-order logic. We find difficulties with such results for modal languages without a finite-depth property, high-lighting the difference between abstract model theory for fragments and for extensions of first-order logic. 1 What is modal logic? I would broadly endorse the 'minimal desi...

Car-orientated modal splits represent problems for the city in economic, environmental and social terms. The implementation of policies and other measures can fail if the causes are not well recognized. Mid-sized cities in Mexico are not well-represented in studies where only the capital and other bigger cities are studied. This research aims to recognize those causes focusing on northern midsi...

Seismic rehabilitation provides existing buildings with more resistance to seismic activity, ground motion, or geotechnical failure due to earthquakes. Performance-based rehabilitation is a general concept through which the retrofitting criteria are defined regarding to performance objectives when the structural and nonstructural members are subject to different levels of earthquake hazards. In...

This chapter introduces modal logic as a tool for talking about graphs, or to use more traditional terminology, as a tool for talking about Kripke models and frames. We want the reader to gain an intuitive appreciation of this perspective, and a firm grasp of the key technical ideas (such as bisimulations) which underly it. We introduce the syntax and semantics of basic modal logic, discuss its...

As an extension of the traditional modal logic, the fuzzy first-order modal logic is discussed in this paper. A description of fuzzy first-order modal logic based on constant domain semantics is given, and a formal system of fuzzy reasoning based on the semantic information of models of first-order modal logic is established. It is also introduced in this paper the notion of the satisfiability ...

Whether visual spatial attention can be split to several discontinuous locations concurrently is still an open and intensely debated question. We address this question in the domain of spatial language use by comparing two existing and three newly proposed computational models. All models are assessed regarding their ability to account for human acceptability ratings for how well a given spatia...