Results 21 to 30 of about 2,148,404 (272)
Modal dependent type theory and dependent right adjoints [PDF]
Mathematical Structures in Computer Science, 2018 In recent years, we have seen several new models of dependent type theory extended with some form of modal necessity operator, including nominal type theory, guarded and clocked type theory and spatial and cohesive type theory.
L. Birkedal +5 more
semanticscholar +5 more sources
REFLEXIVE-INSENSITIVE MODAL LOGICS [PDF]
The Review of Symbolic Logic, 2015 We analyze a class of modal logics rendered insensitive to reflexivity by way of a modification to the semantic definition of the modal operator. We explore the extent to which these logics can be characterized, and prove a general completeness theorem ...
D. Gilbert, G. Venturi
semanticscholar +5 more sources
Modal Analysis of Fluid Flows: An Overview [PDF]
AIAA Journal, 2017 Simple aerodynamic configurations under even modest conditions can exhibit complex flows with a wide range of temporal and spatial features. It has become common practice in the analysis of these flows to look for and extract physically important ...
Kunihiko Taira +2 more
exaly +2 more sources
Boolean basis, formula size, and number of modal operators [PDF]
Logical Methods in Computer ScienceIs it possible to write significantly smaller formulae when using Boolean operators other than those of the De Morgan basis (and, or, not, and the constants)?
Christoph Berkholz +2 more
doaj +4 more sources
Journal of Industrial Engineering and Management, 2015 Purpose: The purpose of study is to solve the multi-modal transportation routing planning problem that aims to select an optimal route to move a consignment of goods from its origin to its destination through the multi-modal transportation network.
Yan Sun, Maoxiang Lang
doaj +2 more sources
The eliminability of the actuality operator in propositional modal logic. [PDF]
Notre Dame J. Formal Log., 1978 Allen Hazen
openalex +2 more sources
Objects generated by an arbitrary natural number. Part 3: Standard modal-topological aspect [PDF]
Notes on Number Theory and Discrete Mathematics, 2023 The set Set(n), generated by an arbitrary natural number n, was defined in [3]. There, and in [4], some arithmetic functions and arithmetic operators of a modal type are defined over the elements of Set(n).
Krassimir Atanassov
doaj +1 more source
Objects generated by an arbitrary natural number. Part 4: New aspects [PDF]
Notes on Number Theory and Discrete Mathematics, 2023 The set Set(n), generated by an arbitrary natural number n, was defined in [3]. There, and in [5, 6], some arithmetic functions and arithmetic operators of a modal and topological types are defined over the elements of Set(n).
Krassimir Atanassov
doaj +1 more source
MH-DETR: Video Moment and Highlight Detection with Cross-modal Transformer [PDF]
IEEE International Joint Conference on Neural Network, 2023 With the increasing demand for video understanding, video moment and highlight detection (MHD) has emerged as a critical research topic. MHD aims to localize all moments and predict clip-wise saliency scores simultaneously.
Yifang Xu +5 more
semanticscholar +1 more source
Satisfiability Problem in Interval FP-logic
Известия Иркутского государственного университета: Серия "Математика", 2023 The article investigates the interval modal logic, in which an action of the modal operator $\Diamond$ is limited by the boundaries of an interval. In addition, the language of modal logic is extended by the operator $D (\alpha, \beta)$, the truth of ...
N.A. Protsenko +2 more
doaj +1 more source