• 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
May 14, 2026
Resource Race and Green Transition: Three Unexpected Conclusions from Foresight Centres Research on Climate and Poverty
Beneath the surface of green energy—which most people associate with solar panels, electric vehicles, and reduced CO2 emissions—lies a complex web of geopolitical interests, international inequality, and resource constraints. Researchers from the Laboratory for Science and Technology Studies (LST) at the HSE ISSEK Foresight Centre have published a series of articles in leading international journals on hidden and overt conflicts surrounding critically important metals and minerals, as well as related processes in the energy sector.
May 13, 2026
Immersion in Second Language Environment Influences Bilinguals Perception of Emotions
Researchers at the Cognitive Health and Intelligence Centre at the HSE Institute for Cognitive Neuroscience have discovered how bilingual individuals process emotional words in their native (first) and non-native (second) languages. It was found that the link between word meaning and bodily sensations is weaker in a second language than in a first language. However, the more a person is immersed in a language environment, the smaller this difference becomes. The article has been published in Language, Cognition and Neuroscience.
May 12, 2026
‘Any Real-Economy Company Can Use Our Products
The HSE Centre for Financial Research and Data Analytics combines fundamental and applied work, including in areas unique to Russia such as the connection between sentiment in the media and social networks and financial markets. The HSE News Service spoke with the centre’s director, Professor Tamara Teplova, about its work.

 

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
Невидимые машины: Рассказы о формальной семантике
Тискин Д. Б., М.: Издательская группа 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
Влияние сопровождающей жестикуляции на интерпретацию многозначных предложений с отрицанием и квантором
Добрынина А. И., 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
Аксиоматизируемость ненормальных и квазинормальных модальных предикатных логик первопорядково определимых классов шкал Крипке
Rybakov M., Вестник Тверского государственного университета. Серия: Прикладная математика 2018 № 3 С. 81–94
Рассматривается вопрос о возможности эффективного описания ненормальных и квазинормальных предикатных модальных логик, определяемых семантически посредством классов шкал Крипке с выделенными мирами. Доказывается, что любая ненормальная или квазинормальная (в т. ч. нормальная) модальная предикатная логика, полная относительно некоторого первопорядково определимого класса шкал Крипке с выделенными мирами, погружается в классическую логику предикатов. Показано, как построить соответствующее погружение, ...
Added: October 6, 2019
Исчисление для схем рефлексии и спектры консервативности
Beklemishev L. D., Успехи математических наук 2018 Т. 74 № 4 С. 3–52
Strictly positive logics recently attracted attention both in the description logic and in the provability logic communities for their combination of efficiency and sufficient expressivity. The language of Reflection Calculus RC consists of implications between formulas built up from propositional variables and constant `true' using only conjunction and diamond modalities which are interpreted in Peano ...
Added: October 2, 2018
Современная модальная логика: между математикой и информатикой
Shehtman V. B., Шапировский И. Б., В кн.: Современная логика: основания, предмет и перспективы развития.: М.: ИД "Форум", 2018. С. 265–305.
Модальная логика возникла в древности для формализации понятий возможного и необходимого. Современная модальная логика стала одним из инструментов решения задач информатики --как теоретических, так и вполне прикладных. Произошёл достаточно неожиданный переход из области  абстрактных философских категорий в актуальную и практически значимую современную дисциплину. Он был обусловлен тем, что модальная логика (как и логика в целом) приобрела развитый математический аппарат --- алгебраический, топологический, ...
Added: September 21, 2018
Filtration Safe Operations on Frames
Kikot S., Shapirovsky I., Zolin E., , in: Advances in Modal Logic. Volume 10.: College Publications, 2014. P. 333–352.
Filtration is a standard tool for establishing the finite model property of modal logics. We consider logics and classes of frames that admit filtration, and identify some operations on them that preserve this property. In particular, the operation of adding the inverse or the transitive closure of a relation is shown to be safe in ...
Added: June 14, 2018
  • 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