• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • HSE University
  • Publications
  • Articles
  • О кванторной версии модальной логики Белнапа–Данна
  • RU
  • EN
Расширенный поиск
Высшая школа экономики
Национальный исследовательский университет
Priority areas
  • business informatics
  • economics
  • engineering science
  • humanitarian
  • IT and mathematics
  • law
  • management
  • mathematics
  • sociology
  • state and public administration
by year
  • 2027
  • 2026
  • 2025
  • 2024
  • 2023
  • 2022
  • 2021
  • 2020
  • 2019
  • 2018
  • 2017
  • 2016
  • 2015
  • 2014
  • 2013
  • 2012
  • 2011
  • 2010
  • 2009
  • 2008
  • 2007
  • 2006
  • 2005
  • 2004
  • 2003
  • 2002
  • 2001
  • 2000
  • 1999
  • 1998
  • 1997
  • 1996
  • 1995
  • 1994
  • 1993
  • 1992
  • 1991
  • 1990
  • 1989
  • 1988
  • 1987
  • 1986
  • 1985
  • 1984
  • 1983
  • 1982
  • 1981
  • 1980
  • 1979
  • 1978
  • 1977
  • 1976
  • 1975
  • 1974
  • 1973
  • 1972
  • 1971
  • 1970
  • 1969
  • 1968
  • 1967
  • 1966
  • 1965
  • 1964
  • 1963
  • 1958
  • More
Subject
News
October 19, 2026
'Cultural Studies Seeks to Understand What Lies Beneath the Surface of Everyday Things'
Maxim Zhiganov has been exploring different aspects of sound for many years—first in relation to his native Perm and then on a broader, global scale. In this interview for the HSE Young Scientists project, he talks about sound maps, the special issue of the journal Logos, and why it is important to make the familiar less clear and obvious.
October 14, 2026
At HSE University–St Petersburg, Experts Discuss How AI Changes Tourist Routes and Cultural Heritage
Neural networks are no longer simple travel assistants; now they decide what to include on the route and what to skip. Artificial intelligence changes how people perceive a place and shapes the image of tourist centres. At the II International Scientific and Practical Conference ’Information Technologies in the Preservation and Promotion of Cultural Heritage,’ researchers discussed who controls algorithmic solutions and in what ways, and whether authentic traditions get lost in them.
October 12, 2026
Road Injuries Leading Cause of Death Among Men Aged 10 to 39
Worldwide, road injuries are the leading cause of death among males aged 10–39. An international team of researchers reached this conclusion as part of the Global Burden of Disease Study 2023, analysing data from 204 countries between 1990 and 2023. Their findings have been published in The Lancet Public Health, with HSE University Professor Vasily Vlassov listed among the collaborators.

 

Have you spotted a typo?
Highlight it, click Ctrl+Enter and send us a message. Thank you for your help!

Publications
  • Books
  • Articles
  • Chapters of books
  • Working papers
  • Report a publication
  • Research at HSE

?

О кванторной версии модальной логики Белнапа–Данна

Математический сборник. 2024. Т. 215. № 3. С. 37–69.
Грефенштейн А. В., Speranski S. O.
Language: Russian
DOI
Keywords: квантификациясемантика возможных мировмодальная логикаконструктивная логикасильное отрицание
Similar publications
Modal Products and Around
Shehtman V. B., Gagarin A., , in: Graph Games and Logic Design. Recent Developments and Further Directions. (TREN, volume 66)Vol. 66.: Springer, 2026. Ch. 17 P. 419–450.
The chapter contains an overview of results on products of propositional modal logics and related constructions: semiproducts, Segerberg squares, and others. We focus mainly on axiomatizations, finite model property, and decidability; we also sketch connections with classical and modal predicate logics. In some cases we give ideas of proofs, especially of those using games. ...
Added: June 30, 2026
Невидимые машины: Рассказы о формальной семантике
Tiskin D., М.: Издательская группа URSS, 2026.
Предлагаемая книга представляет собой введение в формальную семантику — раздел языкознания, в котором посредством построения математически строгих моделей исследуется, как предложения приобретают значение и способность передавать информацию в зависимости от своей структуры и значений составляющих их слов. Классические теоретические идеи Г. Фреге, Д. Льюиса, Д. Каплана и др. излагаются современным языком, а при разработке нотации акцент сделан на том, ...
Added: March 17, 2026
О модальной логике бирешёток и её расширениях
Speranski S. O., Алгебра и логика 2021 Т. 60 № 6 С. 612–635
Рассматриваются решётки расширений трёх логик: (1) модальной логики бирешёток; (2) полной бимодальной логики Белнапа–Данна; (3) классической бимодальной логики. Доказывается изоморфизм этих решёток. Более того, построенные изоморфизмы сохраняют разнообразные хорошие свойства, такие как табличность, предтабличность, разрешимость или интерполяционное свойство Крейга. ...
Added: December 26, 2025
Two Types of Filtrations for wK4 and Its Relatives
Kudinov A., Shapirovsky I., Studia Logica 2025 P. 1–25
We study the finite model property of subframe logics with expressible transitive reflexive closure modality. For m > 0, let Lm be the logic defined by axiom ♦^{m+1}p → ♦p ∨ p. We construct quotient filtrations for the logics Lm, which implies that these logics and their tense counterparts have the finite model property. Then, we construct selective filtrations ...
Added: October 14, 2025
Влияние аксиомы связности на сложность модальной логики.
Kudinov A., Мясников К. М., Математика и теоретические компьютерные науки 2025 Т. 3 № 2 С. 58–84
The paper proves that for weakly transitive logics with the universal modality, whose formula satisfiability problem is in PSPACE, adding the connectedness axiom does not increase the complexity. Furthermore, an explicit algorithm solving this problem is presented. ...
Added: October 14, 2025
Влияние сопровождающей жестикуляции на интерпретацию многозначных предложений с отрицанием и квантором
Dobrynina A., RHEMA. РЕМА 2024 № 4 С. 9–41
В русском языке кванторы могут сопровождаться различными жестами, при этом семантика жеста, согласно предыдущим исследованиям, может коррелировать с семантикой квантора [Гришина 2015]. В данной работе мы предполагаем, что жесты с семантикой всеобщности, произведенные одновременно с многозначным предложением с квантором, будут способствовать интерпретации предложения как универсального утверждения. Для проверки этой гипотезы был проведен эксперимент: записаны видео с ...
Added: October 2, 2025
Логики с аксиомой конвергентности: сложность при малом числе переменных в языке
Rybakov M., Щербаков М. И., В кн.: Четырнадцатые Смирновские чтения по логике: материалы Междунар. науч. конф., Москва, 19-21 июня 2025 г.: М.: Издатель Александр Воробьев, 2025. С. 46–49.
Логики с аксиомой конвергентности: сложность при малом числе переменных в языке ...
Added: June 21, 2025
Сложность константных фрагментов ненормальных модальных логик
Kudinov A., Rybakov M., В кн.: Четырнадцатые Смирновские чтения по логике: материалы Междунар. науч. конф., Москва, 19-21 июня 2025 г.: М.: Издатель Александр Воробьев, 2025. С. 36–39.
Показано, что каждая модальная логика, содержащая классическую логику высказываний и содержащаяся в слабой логике Гжегорчика, имеет NP-трудную проблему выполнимости для константного фрагмента. В частности, константные фрагменты ненормальных модальных логик E, EM, EN и EMN являются coNP-полными. ...
Added: June 21, 2025
Логика эффектов фрейминга Ф. Берто и А. Озгюн – новый формализм для решения проблем семантики пропозициональных установок
Moiseeva A., Вестник Томского государственного университета. Философия. Социология. Политология 2024 № 77 С. 32–52
The article is devoted to the problems of formalizing the content of propositional attitudes and how successfully these problems can be solved in possible worlds semantics. The focus of attention is, firstly, on the phenomena that in the psychological literature are called framing effects, and in the semantic literature – substitution violation in indirect contexts; ...
Added: June 8, 2024
Two challenges for existentialist approaches to strict negative concord
Rudnev P., TABU: Bulletin voor Taalwetenschap 2024 P. 312–328
I present two challenges for the popular approach to the meaning of negative concord items, or neg-words, as existential quantifiers or indefinites. The first challenge concerns the interaction of that analysis with the approaches to fragment answers as instances of clausal ellipsis. The second challenge stems from the ability of multiple neg-words within one clause ...
Added: April 19, 2024
Референциально-ситуативный анализ семантики возможных миров.
Новикова А. В., Вестник Челябинского государственного университета 2008 № 26 С. 101–107
В статье освещаются взгляды ученых на семантику возможных миров, разрабатывается референциально-ситуативный подход к типологизации возможных миров на основе анализа языковых модальных показателей. ...
Added: October 31, 2023
Плеонастические причастия в современной русской речи: функции и тенденции развития
Ю. М. Кувшинская, Н. А. Зевахина, Acta Linguistica Petropolitana. Труды института лингвистических исследований 2023 Т. 19 № 1 С. 138–192
The paper studies tendencies in the use of full single (i.e. without their arguments)  redundant participles in the attributive position in the Russian written discourse. Relying upon the data of the Russian National Corpus and the Corpus of Russian Student Texts, as well as a number of the examples collected from various written sources, the ...
Added: December 8, 2022
Complexity of the variable-free fragment of the weak Grzegorczyk logic
Rybakov M., Агаджанян И. А., / arXiv. Серия 2211.14571 "Logic". 2022.
Доказывается PSPACE-трудность константных фрагментов всех логик, лежащих между K и wGrz ...
Added: December 5, 2022
On Strictly Positive Fragments of Modal Logics with Confluence
Kikot S., Kudinov A., Mathematics 2022 Vol. 10 No. 19 Article 3701
We axiomatize strictly positive fragments of modal logics with the confluence axiom. We consider unimodal logics such as K.2, D.2, D4.2 and S4.2 with unimodal confluence $\Diamond\Box p \to \Box\Diamond p$  as well as the products of modal logics in the set {K, D,  T, D4, S4}, which contain bimodal confluence $\Diamond_1\Box_2 p \to \Box_2\Diamond_1 p$.  We show that the impact ...
Added: October 10, 2022
О моделях интерпретации кросс-мировой предикации
Frolov K., Логико-философские штудии 2021 Т. 19 № 4 С. 310–315
Я выдвигаю два методологических возражения против концепции кросс-мировой предикации, которую предлагает Е. Борисов: (1) Данный подход не учитывает того обстоятельства, что истинностный статус утверждений модального дискурса, как правило, интересует нас не в теоретико-модельном смысле, а в смысле истинности simpliciter. При этом данный подход не оставляет нам никакой возможности говорить о модальной эпистемологии и содержательном обосновании модальных ...
Added: December 29, 2021
Сложность фрагментов произведений с логикой T в языке с одной переменной
Rybakov M., Aleksandrov K., Шкатов Д. П., / ArXiv. Серия arXiv:2112.03833 "arXiv:2112.03833". 2021.
We show that products of propositional modal logics containing the logic of reflexive frames T as a factor are  mbeddable into their single-variable fragments. The proof is a simplified version of the proof, to appear, of a similar result for products and expanding relativized products containing as a factor the logic KTB of reflexive and symmetric Kripke frames. ...
Added: December 10, 2021
Modal logics with transitive closure: Completeness, decidability, filtration
Kikot S., Shapirovsky I., Zolin E., , in: Advances in Modal LogicVol. 13.: College Publications, 2020. P. 369–388.
We give a sufficient condition for Kripke completeness of modal logics that have the transitive closure modality. More precisely, we show that if a modal logic admits what we call definable filtration, then its enrichment with the transitive closure modality (and the corresponding axioms) is Kripke complete; in addition, the resulting logic has the finite ...
Added: December 2, 2020
Кант и модальность единорога. Рецензия на книгу Н. Стэнга
Tsygurov A., Философия. Журнал Высшей школы экономики 2017 Т. 1 № 3 С. 170–174
В рецензии рассматриваются как содержательные, так и методологические инновации в кантоведении, предложенные Н. Стэнгом в его книге "Kant's Modal Metaphysics". Анализируется актуальность и обоснованность применения аппарата современной логики к исследованию кантовского наследия. ...
Added: November 19, 2019
  • About
  • About
  • Key Figures & Facts
  • Sustainability at HSE University
  • Faculties & Departments
  • International Partnerships
  • Faculty & Staff
  • HSE Buildings
  • HSE University for Persons with Disabilities
  • Public Enquiries
  • Studies
  • Admissions
  • Programme Catalogue
  • Undergraduate
  • Graduate
  • Exchange Programmes
  • Summer University
  • Summer Schools
  • Semester in Moscow
  • Business Internship
  • Research
  • International Laboratories
  • Research Centres
  • Research Projects
  • Monitoring Studies
  • Conferences & Seminars
  • Academic Jobs
  • Yasin (April) International Academic Conference on Economic and Social Development
  • Media & Resources
  • Publications by staff
  • HSE Journals
  • Publishing House
  • iq.hse.ru: commentary by HSE experts
  • Library
  • Economic & Social Data Archive
  • Video
  • HSE Repository of Socio-Economic Information
  • HSE1993–2026
  • Contacts
  • Copyright
  • Privacy Policy
  • Site Map
Edit