?
Modal logic with the difference modality of topological T0-spaces
Cornell University
,
2019.
No. 1810.02150.
Aghamov R.
In press
Publication based on the results of:
Zolin E., Logic Journal of the IGPL 2015 Vol. 23 No. 6 P. 861-880
The celebrated theorem proved by Goldblatt and Thomason in 1974 gives necessary and sufficient conditions for an elementary class of Kripke frames to be modally definable. Here we obtain a local analogue of this result, which deals with modal definability of classes of pointed frames. Furthermore, we generalize it to the case of n-frames, which ...
Added: June 14, 2018
Shishov K., Логико-философские штудии 2018 Т. 16 № 1-2 С. 137-139
В работе [1] представляется алгебраическая структура QMV-алгебры, которая, опираясь на идеи и результаты [2], характеризуется в качестве обобщения для многозначных алгебр. В качестве множества-носителя этого класса структур выступает частично-упорядоченное множество всех эффектов, в действительном интервале [0,1], где под эффектом понима- ется ограниченный линейный оператор в гильбертовом пространстве. Используя метод, предложенный в [3], предполагается существование реляционной ...
Added: March 22, 2021
Springer, 2014
This volume is dedicated to Leo Esakia’s contributions to the theory of modal and intuitionistic systems. Leo Esakia was one of the pioneers in developing duality theory for modal and intuitionistic logics, and masterfully utilizing it to obtain some major results in the area. The volume consists of 10 chapters, written by leading experts, that ...
Added: March 5, 2014
Оноприенко А. А., Математический сборник 2020 Т. 211 № 5 С. 98-125
In this paper we study the propositional fragment of the joint logic of problems and propositions HC introduced by Melikhov. We provide Kripke semantics for this logic and show that HC is complete with respect to those models and has the finite model property. We consider examples of the HC-models usage. In particular, we prove ...
Added: October 20, 2020
Kudinov A., Logic Journal of the IGPL 2018 Vol. 26 No. 3 P. 316-338
The paper considers modal logics of products of neighbourhood frames. The n-product of modal logics is the logic of all products of neighbourhood frames of the corresponding logics. We find the n-product of any two pretransitive Horn axiomatizable logics. As a corollary, we find the d-logic of products of topological spaces from some classes of ...
Added: August 20, 2018
Zolin E., Journal of Logic and Computation 2017 Vol. 27 No. 5 P. 1399-1420
We extend the language of the modal logic K4 of transitive frames with two sorts of modalities. In addition to the usual possibility modality (which means that a formula holds in some successor of a given point), we consider graded modalities (a formula holds in at least n successors) and converse graded modalities (aformula holds ...
Added: June 14, 2018
Rybakov M., Shkatov D., Journal of Logic and Computation 2020 Vol. 30 No. 2 P. 549-560
We investigate the relationship between recursive enumerability and elementary frame definability in first-order predicate modal logic. On the one hand, it is wellknown that every first-order predicate modal logic complete with respect to an elementary class of Kripke frames, i.e., a class of frames definable by a classical first-order formula, is recursively enumerable. On the ...
Added: October 25, 2019
В. Л. Попов, Математические заметки 2017 Т. 102 № 1 С. 72-80
Мы доказываем, что аффинно-треугольные подгруппы являются борелевскими подгруппами групп Кремоны. ...
Added: May 3, 2017
Okounkov A., Aganagic M., Moscow Mathematical Journal 2017 Vol. 17 No. 4 P. 565-600
We associate an explicit equivalent descendent insertion to any relative insertion in quantum K-theory of Nakajima varieties.
This also serves as an explicit formula for off-shell Bethe eigenfunctions for general quantum loop algebras associated to quivers and gives the general integral solution to the corresponding quantum Knizhnik Zamolodchikov and dynamical q-difference equations. ...
Added: October 25, 2018
Danilov B.R., Moscow University Computational Mathematics and Cybernetics 2013 Vol. 37 No. 4 P. 180-188
The article investigates a model of delays in a network of functional elements (a gate network) in an arbitrary finite complete basis B, where basis elements delays are arbitrary positive real numbers that are specified for each input and each set of boolean variables supplied on the other inputs. Asymptotic bounds of the form τ ...
Added: December 2, 2019
Grines V., Gurevich E., Pochinka O., Russian Mathematical Surveys 2017 Vol. 71 No. 6 P. 1146-1148
In the paper a Palis problem on finding sufficient conditions on embedding of Morse-Smale diffeomorphisms in topological flow is discussed. ...
Added: May 17, 2017
Красноярск : ИВМ СО РАН, 2013
Труды Пятой Международной конференции «Системный анализ и информационные технологии» САИТ-2013 (19–25 сентября 2013 г., г.Красноярск, Россия): ...
Added: November 18, 2013
Borzykh D., ЛЕНАНД, 2021
Книга представляет собой экспресс-курс по теории вероятностей в контексте начального курса эконометрики. В курсе в максимально доступной форме изложен тот минимум, который необходим для осознанного изучения начального курса эконометрики. Данная книга может не только помочь ликвидировать пробелы в знаниях по теории вероятностей, но и позволить в первом приближении выучить предмет «с нуля». При этом, благодаря доступности изложения и небольшому объему книги, ...
Added: February 20, 2021
Kotelnikova M. V., Aistov A., Вестник Нижегородского университета им. Н.И. Лобачевского. Серия: Социальные науки 2019 Т. 55 № 3 С. 183-189
The article describes a method that allows to improve the content of disciplines of the mathematical cycle by dividing them into invariant (general) and variable parts. The invariants were identified for such disciplines as «Linear algebra», «Mathematical analysis», «Probability theory and mathematical statistics» delivered to Bachelors program students of economics at several universities. Based on ...
Added: January 28, 2020
Amerik E., Verbitsky M., / Cornell University. Series arXiv "math". 2021.
An MBM locus on a hyperkahler manifold is the union of all deformations of a minimal rational curve with negative self-intersection. MBM loci can be equivalently defined as centers of bimeromorphic contractions. It was shown that the MBM loci on deformation equivalent hyperkahler manifolds are diffeomorphic. We determine the MBM loci on a hyperkahler manifold ...
Added: April 7, 2022
Arzhantsev I., Journal of Lie Theory 2000 Vol. 10 No. 2 P. 345-357
Added: July 8, 2014
Кокоулина М. В., Епифанова А. С., Pelinovsky E. et al., Труды НГТУ им. Р.Е. Алексеева 2020 № 3 С. 28-41
Purpose: to analyze the dynamics of COVID-19 development using a generalized stochastic logistic equation to esti-mate the number of probable peaks in coronavirus incidence and to evaluate the nature of the scatter of the generalized logistic model coefficients.
Design/methodology/approach: we use a logistic model based on a generalized first-order logistic equation. The data on the incidence ...
Added: September 29, 2020
Семин С. В., Kurkina O. E., Kurkin A. A. et al., Труды НГТУ им. Р.Е. Алексеева 2012 № 2(95) С. 48-65
Purpose: Numerical modeling of internal baroclinic disturbances of different shapes in a model lake with variable depth, analysis of velocity field of wave-induced current, especially in the near-bed layer.
Approach: The study is carried out with the use of numerical full nonlinear nonhydrostatic model for stratified fluid.
Findings: The full nonlinear numerical modeling of internal wave dynamics ...
Added: October 6, 2012
Vyalyi M., Дискретная математика 1991 Т. 3 № 3 С. 35-45
Added: October 17, 2014
Litvin Y. V., Абрамов И. В., Технологии техносферной безопасности 2016 № 66
Advanced approach to the assessment of a random time of arrival fire fighting calculation on the object of protection, the time of their employment and the free combustion. There is some quantitative assessments with the review of analytical methods and simulation ...
Added: August 27, 2016
Levashov M., Кухаренко А. В., Вопросы защиты информации 2018 № 2 С. 66-71
Рассматривается статистическая модель одного этапа системы фрод-мониторинга транзакций в интернет-банкинге. Построен и рассчитан близкий к отношению правдоподобия критерий отсева мошеннических транзакций. Для выборочных распределений, полученных на выборке объема в 1 млн реальных транзакций, вычислены параметры эффективности этого критерия. ...
Added: June 14, 2018
Beklemishev L. D., Оноприенко А. А., Математический сборник 2015 Т. 206 № 9 С. 3-20
We formulate some term rewriting systems in which the number of computation steps is finite for each output, but this number cannot be bounded by a provably total computable function in Peano arithmetic PA. Thus, the termination of such systems is unprovable in PA. These systems are derived from an independent combinatorial result known as the Worm ...
Added: March 13, 2016
Min Namkung, Younghun K., Scientific Reports 2018 Vol. 8 No. 1 P. 16915-1-16915-18
Sequential state discrimination is a strategy for quantum state discrimination of a sender’s quantum
states when N receivers are separately located. In this report, we propose optical designs that can
perform sequential state discrimination of two coherent states. For this purpose, we consider not
only binary phase-shifting-key (BPSK) signals but also general coherent states, with arbitrary prior
probabilities. Since ...
Added: November 16, 2020
49606783, Russian Journal of Mathematical Physics 2019 Vol. 26 No. 2 P. 168-173
The parameters of unstable short-living isotopes are studied from
the mathematical point of view. The values of the chemical potential
and activity parameters that determine the neutron halo arising when
the neutron separates from the nucleus of an unstable isotope are
calculated. The analogy between nuclear physics and economics is
considered from the point of view of such parameters as ...
Added: August 25, 2019