SCAN 2023 Semantical and Computational Aspects of Non-Classical Logics: Moscow + Online, June 13

?

SCAN 2023 Semantical and Computational Aspects of Non-Classical Logics: Moscow + Online, June 13–17, 2023. Abstracts

М. : МИАН, 2023.

Algorithmic complexity of monadic multimodal predicate logics with equality over finite Kripke frames

Agadzhanian I., Рыбаков М. Н., Shkatov D., , in: SCAN 2023 Semantical and Computational Aspects of Non-Classical Logics: Moscow + Online, June 13–17, 2023. Abstracts.: M.: ., 2023. P. 13–17.

Добавлено: 7 июля 2023 г.

Tiling problems and complexity of logics

Рыбаков М. Н., Serova D., , in: SCAN 2023 Semantical and Computational Aspects of Non-Classical Logics: Moscow + Online, June 13–17, 2023. Abstracts.: M.: ., 2023. P. 68–70.

Добавлено: 7 июля 2023 г.

On algorithmic expressivity of finite-variable fragments of intuitionistic modal logics

Рыбаков М. Н., Shkatov D., , in: SCAN 2023 Semantical and Computational Aspects of Non-Classical Logics: Moscow + Online, June 13–17, 2023. Abstracts.: M.: ., 2023. P. 73–74.

Добавлено: 7 июля 2023 г.

Topological semantics of the predicate modal calculus QGL extended with non-well-founded proofs

Разумный П. М., Шамканов Д. С., , in: SCAN 2023 Semantical and Computational Aspects of Non-Classical Logics: Moscow + Online, June 13–17, 2023. Abstracts.: M.: ., 2023. P. 64–66.

Добавлено: 26 октября 2023 г.

Mezhirov’s game for intuitionistic logic and its variations

Пыльцын И. О., , in: SCAN 2023 Semantical and Computational Aspects of Non-Classical Logics: Moscow + Online, June 13–17, 2023. Abstracts.: M.: ., 2023. P. 61–63.

Добавлено: 26 октября 2023 г.

Dynamic Epistemic Logic for Budget-Constrained Agents

Долгоруков В. В., Гладышев М. А., , in: SCAN 2023 Semantical and Computational Aspects of Non-Classical Logics: Moscow + Online, June 13–17, 2023. Abstracts.: M.: ., 2023. P. 20–23.

В докладе представлена динамическая эпистемическая логика для агентов с бюджетными ограничениями. ...

Добавлено: 26 ноября 2023 г.

Completeness of the logic HC in a special space

Оноприенко А. А., , in: SCAN 2023 Semantical and Computational Aspects of Non-Classical Logics: Moscow + Online, June 13–17, 2023. Abstracts.: M.: ., 2023.

Добавлено: 13 марта 2024 г.

Научное направление: Математика Компьютерные науки

Язык: английский

Полный текст

Текст на другом сайте

Ключевые слова: non-classical logics

SCAN 2023 Semantical and Computational Aspects of Non-Classical Logics: Moscow + Online, June 13–17, 2023. Abstracts

Proceedings of the 6th Workshop on Computational Approaches to Discourse, Context and Document-Level Inferences (CODI 2025)

Strube M., Braud C., Hardmeier C. и др., Suzhou: Association for Computational Linguistics, 2025.

Добавлено: 11 июня 2026 г.

On the Ramsey Number R(K_{1,s},P_t)

Kh. Kh. Abdullin, D. B. Mokeev, D. S. Taletskii, Mathematical notes 2026 Vol. 119 No. 1 P. 3–7

Добавлено: 10 июня 2026 г.

TreeDQN: Sample-efficient off-policy reinforcement learning for combinatorial optimization

Sorokin D., Kostin A., Савченко Л. В. и др., Knowledge-Based Systems 2026 Vol. 348 Article 116258

Добавлено: 10 июня 2026 г.

Microbial diversity and production of milk spirit using traditional Buryat fermentation and distillation technologies

Namsaraev Z., Nanzatov B., Козлова А. Д. и др., Scientific Reports 2026 Vol. 16 No. 1 Article 17769

Дистиллированные кисломолочные напитки встречаются в пищевой промышленности редко, несмотря на повсеместное распространение растительных спиртных напитков. В настоящее время производство крепких дистиллированных алкогольных напитков из кисломолочных продуктов с использованием традиционных технологий известно лишь среди монголоязычных народов и их сибирских соседей. Данное исследование представляет собой первый междисциплинарный анализ дарасуна, традиционного бурятского спиртного напитка, изготавливаемого из кисломолочного напитка ...

Добавлено: 10 июня 2026 г.

Artificial intelligence and digital twins for failure prediction in data center cooling systems: a comprehensive literature review (2018–2026)

Butorova A., Bobakov V., Sergeev A. и др., European Physical Journal: Special Topics 2026 P. 1–19

Добавлено: 10 июня 2026 г.

Innovations in Information and Decision Sciences. Proceedings of the 13th International Conference on Frontiers in Intelligent Computing: Theory and Applications (FICTA 2025), Volume 4

Springer, 2026.

Добавлено: 8 июня 2026 г.

Wave dynamics within the Whitham-Ostrovsky equation

Flamarion M. V., Пелиновский Е. Н., Nonlinear Dynamics 2026 Vol. 114 Article 784

Добавлено: 5 июня 2026 г.

Логика моментальности

Васюков В. Л., Ученые записки Крымского федерального университета имени В.И. Вернадского. Философия. Политология. Культурология 2024 Т. 10 № S С. 104–112

В европейской философии мотивы самонетождественности и подразумеваемой ею изменчивости обнаруживаются еще у Гераклита. Концепцию изменчивости и самонетождественности можно найти и на Востоке, например, у мутазилитов – представителей направления арабо-мусульманской философии, возникшего в первые века становления ислама и утвердившегося в VIII в. В буддийском онтологическом учении о мгновенности бытия и непостоянстве любого состояния представление о том, ...

Добавлено: 26 декабря 2024 г.

Битопологические модели интуиционистской эпистемической логики

Оноприенко А. А., Успехи математических наук 2024 Т. 79 № 1(475) С. 189–190

Добавлено: 31 января 2024 г.

Об аналогах теорем Эрбрана и Харропа для совместной логики задач и высказываний QHC

Оноприенко А. А., Доклады Российской академии наук. Математика, информатика, процессы управления (ранее - Доклады Академии Наук. Математика) 2023 Т. 514 № 1 С. 123–128

В данной заметке доказаны аналоги теорем Эрбрана и Харропа для логики QHC. ...

Добавлено: 28 декабря 2023 г.

Теорема о понижении мощности для логик QHC и QH4

Оноприенко А. А., Алгебра и логика 2022 Т. 61 № 6 С. 720–741

Рассматривается совместная логика задач и высказываний QHC, введённая С. А. Мелиховым, а также интуиционистская модальная логика QH4. Рассмотрено погружение этих логик в классическую логику предикатов первого порядка. Установлен аналог теоремы Лёвенгейма-Сколема о счётной элементарной подмодели для логик QHC и QH4. ...

Добавлено: 4 ноября 2023 г.

Семантика типа Крипке для пропозициональной логики задач и высказываний

Оноприенко А. А., Математический сборник 2020 Т. 211 № 5 С. 98–125

Рассматривается пропозициональный фрагмент HC объединенной логики задач и высказываний, введенной C. A. Мелиховым. Строятся модели типа Крипке для этой логики, доказывается полнота логики HC относительно таких моделей, а также свойство конечных моделей. Рассмотрены примеры применения моделей типа Крипке логики HC для решения некоторых вопросов (в частности, доказательство того, что HC является консервативным расширением логики H4). Также показано, что логика HC полна относительно шкал Крипке с проверяющими мирами, введенных С. Н. Артёмовым ...

Добавлено: 20 октября 2020 г.

Algorithmic properties of modal logics with restricted languages

Рыбаков М. Н., University of the Witwatersrand, Johannesburg, 2019.

Добавлено: 5 октября 2019 г.