Results 61 to 70 of about 2,148,404 (272)

Quasi-modal operators on distributive nearlattices

, 2020
We introduce the notion of quasi-modal operator in the variety of distributive nearlattices, which turns out to be a generalization of the necessity modal operator studied in [S. Celani and I. Calomino, Math. Slovaca 69 (2019), no. 1, 35–52].
Ismael Calomino, S. Celani, L. J. González   +2 more
semanticscholar   +1 more source

Logical Step-Indexed Logical Relations [PDF]

, 2010
Appel and McAllester's "step-indexed" logical relations have proven to be a simple and effective technique for reasoning about programs in languages with semantically interesting types, such as general recursive types and general reference types. However,
A. M. Pitts, Amal Ahmed, Andrew M. Pitts, Andrew Pitts, Andrew W. Appel and David McAllester, Derek Dreyer, Eijiro Sumii and Benjamin Pierce, Ian Mason and Carolyn Talcott, Lars Birkedal, Lars Birkedal and Robert W. Harper, Lars Birkedal, Rasmus E. Møgelberg, and, Martín Abadi, Luca Cardelli, and Pierre-, Michael Brandt and Fritz Henglein, Patricia Johann and Janis Voigtländer   +13 more
core   +3 more sources

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

MODAL OPERATORS ON RINGS OF CONTINUOUS FUNCTIONS [PDF]

, 2021
Guram Bezhanishvili, Luca Carai, Patrick J. Morandi   +2 more
openalex   +3 more sources

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

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

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

Scopes and Limits of Modality in Quantum Mechanics [PDF]

, 2006
We develop an algebraic frame for the simultaneous treatment of actual and possible properties of quantum systems. We show that, in spite of the fact that the language is enriched with the addition of a modal operator to the orthomodular structure ...
Balbes, Birkhoff, Burris, Dieks, Dieks, Dieks, Dirac, Dishkant, Domenech, Domenech, Greechie, Halmos, Isham, Janowitz, Janowitz, Jauch, Kochen, Maeda, Sikorski, van Fraassen, van Fraassen   +20 more
core   +2 more sources

Hybrid Modal Operators for Definite Descriptions

, 2023
In this paper, we study computational complexity and expressive power of modal operators for definite descriptions, which correspond to statements `the modal world which satisfies formula \(varphi\)'. We show that adding such operators to the basic (propositional) modal language has a price of increasing complexity of the satisfiability problem from ...
Przemysław Andrzej Wałȩga, Michał Zawidzki   +1 more
openaire   +2 more sources