Results 21 to 30 of about 505,512 (306)
Logical Methods in Computer Science, 2018 A many-valued modal logic is introduced that combines the usual Kripke frame semantics of the modal logic K with connectives interpreted locally at worlds by lattice and group operations over the real numbers. A labelled tableau system is provided and a coNEXPTIME upper bound obtained for checking validity in the logic.
Diaconescu, Denisa +2 more
openaire +5 more sources
Modelling and Vibration Analysis of Powertrain System
International Journal of Automotive Science and Technology, 2018 Developments in vehicle technology reveal that increased demands on vehicle comfort and fuel efficiency in the vehicles require to design more efficient powertrain systems.
Mehmet Onur Genç +2 more
doaj +1 more source
Modal Structuralism and Theism [PDF]
, 2017 Drawing an analogy between modal structuralism about mathematics and theism, I oer a structuralist account that implicitly denes theism in terms of three basic relations: logical and metaphysical priority, and epis- temic ...
Jonas, Silvia
core +1 more source
Mathematical Economics, 2013 Mathematical Economics, 2013, Nr 9 (16), s. 105-116 ; In this paper we talk about modal value, ideal modal and the relationship between stable distributions and the statistical characteristics like modal and ideal modal. The second part of this article is about the properties of normal and skew-normal density.
openaire +2 more sources
Model Checking Value-Passing Modal Specifications [PDF]
, 2015 Formal modelling and verification of variability concepts in product families has been the subject of extensive study in the literature on Software Product Lines. In recent years, we have laid the basis for the use of modal specifications and branching-time temporal logics for the specification and analysis of behavioural variability in product family ...
Ter Beek M H, Gnesi S, Mazzanti F
openaire +5 more sources
Fractional-Valued Modal Logic and Soft Bilateralism
Bulletin of the Section of Logic, 2023 In a recent paper, under the auspices of an unorthodox variety of bilateralism, we introduced a new kind of proof-theoretic semantics for the base modal logic \(\mathbf{K}\), whose values lie in the closed interval \([0,1]\) of rational numbers [14].
Piazza Mario +2 more
openaire +3 more sources
Possession and volition in the development of modal meanings: a case-study from Sicilian
Journal of Contemporary Philology, 2019 This article analyses two Sicilian modal constructions involving vuliri 'want' + infinitive and aviri a ‘have to’ + infinitive. They are used to express modal values, both non-epistemic and epistemic, and futurity.
Luisa Brucale, Egle Mocciaro
doaj +1 more source
Applied Sciences, 2022 A method for dynamic finite element (FE) model updating based on correlated mode auto-pairing and adaptive evolution screening (CMPES) is proposed to overcome difficulties in pairing inaccurate analytical modal data and incomplete experimental modal data.
Huajin Shao, Yanfei Zuo, Zhinong Jiang
doaj +1 more source
Frame definability in finitely valued modal logics
Annals of Pure and Applied Logic, 2023 En este artículo estudiamos la definibilidad de marcos en lógicas modales finitamente valoradas y establecemos dos resultados principales a través de traducciones adecuadas: (1) en lógicas modales finitamente valoradas no se pueden definir más clases de marcos de los que ya se pueden definir en la lógica modal clásica (cf. [27, Thm. 8]), y (2) una gran
Guillermo Badía +2 more
openaire +4 more sources
Defining reward value by cross-modal scaling [PDF]
Animal Cognition, 2013 Researchers in comparative psychology often use different food rewards in their studies, with food values defined by a pre-experimental preference test. While this technique rank orders food values, it provides limited information about value differences because preferences may reflect not only value differences, but also the degree to which one good ...
Casey, AH +3 more
openaire +3 more sources