?
О кванторной версии модальной логики Белнапа–Данна
Математический сборник. 2024. Т. 215. № 3. С. 37–69.
Грефенштейн А. В., Сперанский С. О.
Разрабатывается кванторная версия пропозициональной модальной логики BK из статьи С. П. Одинцова и Х. Вансинга, в основе которой лежит (немодальная) система Белнапа–Данна; мы будем обозначать эту версию через QBK. Сначала с помощью метода канонических моделей будет доказано, что QBK — как и некоторые важные её расширения — сильно полна относительно подходящей семантики возможных миров. Затем мы определим трансляции (в духе Гёделя–МакКинси–Тарского), точно вкладывающие кванторные версии конструктивных логик Нельсона в подходящие расширения QBK. В заключение мы обсудим интерполяционные свойства для QBK-расширений.
Тискин Д. Б., М.: Издательская группа URSS, 2026.
Предлагаемая книга представляет собой введение в формальную семантику — раздел языкознания, в котором посредством построения математически строгих моделей исследуется, как предложения приобретают значение и способность передавать информацию в зависимости от своей структуры и значений составляющих их слов. Классические теоретические идеи Г. Фреге, Д. Льюиса, Д. Каплана и др. излагаются современным языком, а при разработке нотации акцент сделан на том, ...
Добавлено: 17 марта 2026 г.
Сперанский С. О., Алгебра и логика 2021 Т. 60 № 6 С. 612–635
Рассматриваются решётки расширений трёх логик: (1) модальной логики бирешёток; (2) полной бимодальной логики Белнапа–Данна; (3) классической бимодальной логики. Доказывается изоморфизм этих решёток. Более того, построенные изоморфизмы сохраняют разнообразные хорошие свойства, такие как табличность, предтабличность, разрешимость или интерполяционное свойство Крейга. ...
Добавлено: 26 декабря 2025 г.
Кудинов А. В., Мясников К. М., Математика и теоретические компьютерные науки 2025 Т. 3 № 2 С. 58–84
В работе доказывается, что для слабо транзитивных логик с универсальной модальностью, проверку выполнимости формулы для которых можно произвести в PSPACE}, добавление аксиомы связности не увеличивает сложность этой проверки, причем строится явный алгоритм, который решает эту задачу. ...
Добавлено: 14 октября 2025 г.
Добрынина А. И., RHEMA. РЕМА 2024 № 4 С. 9–41
В русском языке кванторы могут сопровождаться различными жестами, при этом семантика жеста, согласно предыдущим исследованиям, может коррелировать с семантикой квантора [Гришина 2015]. В данной работе мы предполагаем, что жесты с семантикой всеобщности, произведенные одновременно с многозначным предложением с квантором, будут способствовать интерпретации предложения как универсального утверждения. Для проверки этой гипотезы был проведен эксперимент: записаны видео с ...
Добавлено: 2 октября 2025 г.
Рыбаков М. Н., Щербаков М. И., В кн.: Четырнадцатые Смирновские чтения по логике: материалы Междунар. науч. конф., Москва, 19-21 июня 2025 г.: М.: Издатель Александр Воробьев, 2025. С. 46–49.
Логики с аксиомой конвергентности: сложность при малом числе переменных в языке ...
Добавлено: 21 июня 2025 г.
Кудинов А. В., Рыбаков М. Н., В кн.: Четырнадцатые Смирновские чтения по логике: материалы Междунар. науч. конф., Москва, 19-21 июня 2025 г.: М.: Издатель Александр Воробьев, 2025. С. 36–39.
Показано, что каждая модальная логика, содержащая классическую логику высказываний и содержащаяся в слабой логике Гжегорчика, имеет NP-трудную проблему выполнимости для константного фрагмента. В частности, константные фрагменты ненормальных модальных логик E, EM, EN и EMN являются coNP-полными. ...
Добавлено: 21 июня 2025 г.
Моисеева А. Ю., Вестник Томского государственного университета. Философия. Социология. Политология 2024 № 77 С. 32–52
Статья посвящена проблемам формализации содержания пропозициональных установок и тому, насколько успешно эти проблемы могут быть решены в семантике возможных миров. В фокусе внимания находятся, во-первых, феномены, которые в психологической литературе называются эффектами фрейминга, а в семантической – нарушением подстановочности в косвенных контекстах; и, во-вторых, проблема логического всеведения. В первой части статьи объясняется, почему эффекты фрейминга ...
Добавлено: 8 июня 2024 г.
Новикова А. В., Вестник Челябинского государственного университета 2008 № 26 С. 101–107
В статье освещаются взгляды ученых на семантику возможных миров, разрабатывается референциально-ситуативный подход к типологизации возможных миров на основе анализа языковых модальных показателей. ...
Добавлено: 31 октября 2023 г.
Ю. М. Кувшинская, Н. А. Зевахина, Acta Linguistica Petropolitana. Труды института лингвистических исследований 2023 Т. 19 № 1 С. 138–192
Статья посвящена современным плеонастическим употреблениям полных атрибутивных причастий в русской письменной речи. На материале двух корпусов (НКРЯ и КРУТ) и коллекции примеров, собранных вручную из разных письменных и электронных источников, описаны основные типы употребления плеонастических причастий и характерные для них семантические, грамматические, прагматические, коммуникативные эффекты: выражение избыточной анафорической связи, выражение определенности, экспликация пресуппозиций, выражение аспектуальных ...
Добавлено: 8 декабря 2022 г.
Рыбаков М. Н., Агаджанян И. А., / arXiv. Серия 2211.14571 "Logic". 2022.
Доказывается PSPACE-трудность константных фрагментов всех логик, лежащих между K и wGrz ...
Добавлено: 5 декабря 2022 г.
Фролов К. Г., Логико-философские штудии 2021 Т. 19 № 4 С. 310–315
Я выдвигаю два методологических возражения против концепции кросс-мировой предикации, которую предлагает Е. Борисов:
(1) Данный подход не учитывает того обстоятельства, что истинностный статус утверждений модального дискурса, как правило, интересует нас не в теоретико-модельном смысле, а в смысле истинности simpliciter. При этом данный подход не оставляет нам никакой возможности говорить о модальной эпистемологии и содержательном обосновании модальных ...
Добавлено: 29 декабря 2021 г.
Рыбаков М. Н., Александров К. И., Шкатов Д. П., / ArXiv. Серия arXiv:2112.03833 "arXiv:2112.03833". 2021.
В работе показано, что любое произведение нормальных модальных пропозициональных логик, содержащее логику T в качестве сомножителя, погружается в свой фрагмент от одной переменной. Приведённое доказательство является более простой версией аналогичного доказательства, которое готовится к публикации, для произведений и полупроизведений, содержащих в качестве сомножителя логику KTB рефлексивно-симметричных шкал Крипке. ...
Добавлено: 10 декабря 2021 г.
Kikot S., Шапировский И., Золин Е. Е., , in: Advances in Modal LogicVol. 13.: College Publications, 2020. P. 369–388.
Добавлено: 2 декабря 2020 г.
Цыгуров А. С., Философия. Журнал Высшей школы экономики 2017 Т. 1 № 3 С. 170–174
В рецензии рассматриваются как содержательные, так и методологические инновации в кантоведении, предложенные Н. Стэнгом в его книге "Kant's Modal Metaphysics". Анализируется актуальность и обоснованность применения аппарата современной логики к исследованию кантовского наследия. ...
Добавлено: 19 ноября 2019 г.
Рыбаков М. Н., Вестник Тверского государственного университета. Серия: Прикладная математика 2018 № 3 С. 81–94
Рассматривается вопрос о возможности эффективного описания ненормальных и квазинормальных предикатных модальных логик, определяемых семантически посредством классов шкал Крипке с выделенными мирами. Доказывается, что любая ненормальная или квазинормальная (в т. ч. нормальная) модальная предикатная логика, полная относительно некоторого первопорядково определимого класса шкал Крипке с выделенными мирами, погружается в классическую логику предикатов. Показано, как построить соответствующее погружение, ...
Добавлено: 6 октября 2019 г.
Беклемишев Л. Д., Успехи математических наук 2018 Т. 74 № 4 С. 3–52
Строго позитивные логики в последнее время привлекают внимание специалистов благодаря их сочетанию эффективности и приемлемой выразительности. Язык исчисления рефлексий RC состоит из импликаций между формулами, составленными из пропозициональных переменных и константы “истина” лишь с помощью связки конъюнкции и модальностей, интерпретируемых в арифметике Пеано как ограниченные равномерные схемы рефлексии. Мы расширяем язык RC дополнительным семейством модальностей, соответствующих операторам, которые сопоставляют данной арифметической теории T её ...
Добавлено: 2 октября 2018 г.
Шехтман В. Б., Шапировский И. Б., В кн.: Современная логика: основания, предмет и перспективы развития.: М.: ИД "Форум", 2018. С. 265–305.
Модальная логика возникла в древности для формализации понятий возможного и необходимого.
Современная модальная логика стала одним из инструментов решения задач информатики --как теоретических, так и вполне прикладных.
Произошёл достаточно неожиданный переход из области абстрактных философских
категорий в актуальную и практически значимую современную дисциплину. Он был обусловлен тем, что модальная логика (как и логика в целом) приобрела развитый математический аппарат --- алгебраический, топологический, ...
Добавлено: 21 сентября 2018 г.
Kikot S., Shapirovsky I., Золин Е. Е., , in: Advances in Modal Logic. Volume 10.: College Publications, 2014. P. 333–352.
Фильтрация является стандартным средством для установления финитной аппроксимируемости модальных логик. В работе изучаются логики и классы шкал, допускающие фильтрацию (фильтруемые), и указываются операции на них, сохраняющие фильтруемость. В частности, показано, что операции добавления обратного отношения и транзитивного замыкания отношения сохраняет фильтруемость. Используя данные результаты, установлено, что всякая регулярная грамматическая модальная логика (возможно с обратными модальностями) ...
Добавлено: 14 июня 2018 г.