Results 41 to 50 of about 123,099 (101)

Refinement Modal Logic

, 2013
In this paper we present {\em refinement modal logic}. A refinement is like a bisimulation, except that from the three relational requirements only `atoms' and `back' need to be satisfied.
Aczel, Alur, Alur, Antonik, Arnold, Aucher, Aucher, Balbiani, Baltag, Bilkova, Blackburn, Bozzelli, Browne, Clarke, d'Agostino, d'Agostino, d'Agostino, Economou, Fagin, Feuillade, Fine, French, French, Gerbrandy, Hales, Hales, Hales, Hales, Hans van Ditmarsch, Harel, James Hales, Janin, Janin, Kooi, Kupferman, Kupke, Küsters, Larsen, Laura Bozzelli, Lomuscio, Mazala, Miller, Morgan, Parikh, Pauly, Plaza, Raclet, Raclet, Raclet, Ramadge, Riedweg, Ryan, Sistla, Sophie Pinchinat, Tim French, Tsitsoklis, van Benthem, van Benthem, van Ditmarsch, van Ditmarsch, van Ditmarsch, van Ditmarsch, Walukiewicz, Wen, Wilke, Woodcock   +65 more
core   +3 more sources

Loop-check elimination for non-transitive distributed knowledge logic

Lietuvos Matematikos Rinkinys, 2008
A non-transitive distributed knowledge logic TnD, obtained from multi-modal logic Tn by adding distributed knowledge operator, is considered. Sound and complete loop-check-free sequent calculus for this logic is proposed.
Aida Pliuškevičienė
doaj   +1 more source

Maximality and minimality in comparatives [PDF]

, 2005
In this paper, I investigate more closely the contribution of modal operators to the semantics of comparatives and I show that there is no need for a maximality or minimality operator. Following Kratzer s (1981, 1991) analysis of modal elements, I assume
Meier, Cécile
core  

An algebraic generalization of Kripke structures

, 2007
The Kripke semantics of classical propositional normal modal logic is made algebraic via an embedding of Kripke structures into the larger class of pointed stably supported quantales.
Emerson, Harel, Hughes, Hughes, Johnstone, Mulvey, PEDRO RESENDE, Rosenthal, SÉRGIO MARCELINO   +8 more
core   +1 more source

Linear stability, transient energy growth and the role of viscosity stratification in compressible plane Couette flow

, 2008
Linear stability and the non-modal transient energy growth in compressible plane Couette flow are investigated for two prototype mean flows: (a) the {\it uniform shear} flow with constant viscosity, and (b) the {\it non-uniform shear} flow with {\it ...
A. Bottaro, C. Nouar, J. Dey, L. M. Mack, M. Malik, M. R. Malik, Meheboob Alam, P. G. Drazin, W. M. F. Orr   +8 more
core   +1 more source

Intuitionistic Fuzzy Modal Multi-Topological Structures and Intuitionistic Fuzzy Multi-Modal Multi-Topological Structures

Mathematics
On the basis of K. Kuratowski’s definitions of a topological structure with a closure or interior operator, the concept of a modal topological structure (MTS) with one of these operators was introduced by the author.
Krassimir Atanassov
doaj   +1 more source

A Rolling Bearing Fault Feature Extraction Algorithm Based on IPOA-VMD and MOMEDA

Sensors, 2023
Since the rolling bearing fault signal captured by a vibration sensor contains a large amount of background noise, fault features cannot be accurately extracted.
Kang Yi, Changxin Cai, Wentao Tang, Xin Dai, Fulin Wang, Fangqing Wen   +5 more
doaj   +1 more source

Non-Fregean Logics of Analytic Equivalence (I) [PDF]

, 2015
The identity connective is usually interpreted in non-Fregean logic as an operator representing the identity of situations. This interpretation is related to the modal criterion of the identity of sentence correlates, characteristic of the WT system and ...
Biłat, Andrzej
core   +1 more source

Transient dynamics and structure of optimal excitations in thermocapillary spreading: Precursor film model [PDF]

, 2006
Linearized modal stability theory has shown that the thermocapillary spreading of a liquid film on a homogeneous, completely wetting surface can produce a rivulet instability at the advancing front due to formation of a capillary ridge.
Dawn E. Kataoka, Friz V. G., Jeffrey M. Davis, Kataoka D. E., Kataoka D. E., Sandra M. Troian, Tanner L. H.   +6 more
core   +1 more source

The Contingency of Possibility

Principia: An International Journal of Epistemology, 2016
In this paper we criticize the way possibility is characterized in contemporary modal logic through the diamond operator. We explain that it does not match with the usual notion of possibility and that this notion is better described by the vertex Y of ...
Jean-Yves Béziau
doaj   +1 more source