Advances in Modal Logic

?

Advances in Modal Logic

Issue 9. Лондон : College Publications, 2012.

Научный редактор: T. Bolander, T. Brauner, S. Ghilardi

Advances in Modal Logic is a bi-annual international conference and book series in Modal Logic. The aim of the conference series is to report on important new developments in pure and applied modal logic, and to do so at varying locations throughout the world. The book series is based on the conferences. Please consult thebackground pages for further details.

Modal logic of some products of neighbourhood frames

Кудинов А. В., , in: Advances in Modal LogicIssue 9.: L.: College Publications, 2012. P. 286–294.

Добавлено: 21 февраля 2013 г.

On modal logics of Hamming spaces

Кудинов А. В., Шехтман В. Б., Shapirovsky I., , in: Advances in Modal LogicIssue 9.: L.: College Publications, 2012. P. 395–410.

Добавлено: 21 февраля 2013 г.

Calibrating Provability Logic: From Modal Logic to Re ection Calculus

Беклемишев Л. Д., , in: Advances in Modal LogicIssue 9.: L.: College Publications, 2012. P. 89–94.

Several interesting applications of provability logic in proof theory made use of a polymodal logic GLP due to Giorgi Japaridze. This system, although de- cidable, is not very easy to handle. In particular, it is not Kripke complete. It is complete w.r.t. neighborhood semantics, however this could only be established recently by rather complicated techniques ...

Добавлено: 3 апреля 2013 г.

Grammar Logics in Nested Sequent Calculus: Proof Theory and Decision Procedures

Tiu A., Яновский Е. А., Goré R., , in: Advances in Modal LogicIssue 9.: L.: College Publications, 2012. P. 516–537.

Добавлено: 25 февраля 2019 г.

Приоритетные направления: математика

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

Ключевые слова: modal logic

New bound on S1× S2-setting Bell locality of a nonseparable Werner state

Лубенец Е. Р., / Series arxiv.org "quant-ph". 2026. No. 2607.18050.

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

On functional equations for Chow polylogarithms

Болбачан В. С., / Series math "arxiv.org". 2024.

Полилогарифмы Чжоу — это специальные функции, возникающие при явном описании отображения регулятора Бейлинсона. Наиболее интересное функциональное уравнение для этой функции отражает тот факт, что она обращается в нуль на границе в комплексе циклов Блоха. Мы показываем, что это функциональное уравнение формально вытекает из более простых свойств: кососимметричности, функториальности и мультипликативности. Для доказательства этого мы рассматриваем ...

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

On Goncharov’s conjecture in next to Milnor degree

Болбачан В. С., / Series math "arxiv.org". 2024.

Пусть K поле характеристики ноль. Мы доказываем что его когомологии в степени m-1 и весе m рационально изоморфны когомологиям полилогарифмического комплекса в соответствующей степени. Это дает частичное расширение теоремы Суслина, описывающую неразложимую K теорию K_3 для поля. ...

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

Statistical inference based on band-limited kernels: Rational-infinitely divisible distributions and beyond

Панов В. А., Рябченко А. П., / Series arXiv "stat.ME". 2026. No. 2607.05048.

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

Modal Products and Around

Шехтман В. Б., 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.

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

Graph Games and Logic Design. Recent Developments and Further Directions. (TREN, volume 66)

Springer, 2026.

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

Strong Approximations for Markov Chains Weakly Converging to Diffusions

Конаков В. Д., Кучер Д. А., Mammen E., / Series arXiv "math". 2026. No. 2606.11142v1.

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

Bifurcations and Structural Stability of Generic PC-HC Families

Доровский А. А., / Series arXiv "math". 2026.

Добавлено: 14 мая 2026 г.

On the minimum number of maximal distance-k independent sets in trees

Талецкий Д. С., / Series arXiv "math". 2026.

Добавлено: 1 мая 2026 г.

On Arithmetic Mirror Symmetry for smooth Fano fourfolds

Овчаренко М. А., / Series arXiv "math". 2026.

Добавлено: 30 апреля 2026 г.

On weak solutions to the 1d compressible Navier-Stokes equations: a Lipschitz continuous dependence on data in weaker norms and an error of their homogenization

Zlotnik Alexander, / Series arXiv "math". 2026. No. 2602.03481v1.

Добавлено: 18 апреля 2026 г.

On the dimension of the space of static potentials on three-manifolds

Медведев В. О., / Series arXiv "math". 2026.

We investigate the interplay between the dimension of the space of static potentials and the geometric and topological structure of the underlying static three-manifold. A partial classification of boundaryless static manifolds is obtained in terms of this dimension. We also treat the case of static manifolds with boundary. In particular, we prove that if a ...

Добавлено: 3 апреля 2026 г.

Using predefined vector systems to speed up neural network multimillion class classification

Gabdullin N., Андросов И. А., / Series Computer Science "arxiv.org". 2026.

Добавлено: 2 апреля 2026 г.

Homogeneous maximizers of the Blaschke-Santalo-type functionals

Колесников А. В., / Series arXiv "math". 2025.

Добавлено: 13 февраля 2026 г.

Iterative Ricci-Foster Curvature Flow with GMM-Based Edge Pruning: A Novel Approach to Community Detection

Сорокин К. С., Бекетов М. Е., Онучин А. и др., / arxiv.org. Серия cs.SI "Social and Information Networks ". 2025.

Обнаружение сообществ в сложных сетях — фундаментальная проблема, открытая для новых подходов в различных научных областях. Мы представляем новый метод обнаружения сообществ, основанный на потоке Риччи на графах. Наша техника итеративно обновляет веса ребер (их метрические длины) в соответствии с их (комбинаторной) версией кривизны Риччи Фостера, вычисленной на основе эффективного расстояния сопротивления между узлами. Известно, ...

Добавлено: 15 января 2026 г.

On finding formal power-logarithmic expansions of solutions to q-difference equations

Гаянов Н. В., Парусникова А. В., / Cornell University. Серия math "arxiv.org". 2025.

Рассматривается алгебраическое q-разностное уравнение. Предлагается достаточное условие существования формального степенно- логарифмического разложения решения такого уравнения в окрест- ности нуля. Приводится пример применения этого достаточного условия для построения формального разложения решения неко- торого q-разностного аналога пятого уравнения Пенлеве при конкретных значениях параметров уравнения; рассматриваются два различных значения числа q, приводящие к качественно разным формальным асимптотическим разложениям ...

Добавлено: 25 декабря 2025 г.

Ideal of the variety of flexes of plane cubics

Попов В. Л., / Series arXiv "math". 2025. No. 2502.01539.

Добавлено: 16 декабря 2025 г.

Random walks on rank one symmetric spaces of noncompact type

Гнетов Ф. А., Конаков В. Д., / Series arXiv "math". 2025. No. 2512.04667.

Добавлено: 5 декабря 2025 г.

Cascades of Lorenz attractors in the Shimizu-Morioka model

Казаков А. О., Корякин В. А., Сафонов К. А. и др., / Series arXiv "math". 2025.

Добавлено: 4 декабря 2025 г.

Advances in Modal Logic 2024. Short Papers

[б.и.], 2024.

The book contains short papers presented at AiML 2024. ...

Добавлено: 15 августа 2024 г.

Advances in Modal Logic

College Publications, 2024.

Advances in Modal Logic (AiML) is an initiative founded in 1995 and aimed at presenting an up-to-date picture of the state of the art in modal logic and its many applications. It consists of a conference series together with volumes based on the conferences. The conference series is the main international forum at which research ...

Добавлено: 14 августа 2024 г.

Variations on the Kripke trick

Рыбаков М. Н., Shkatov D., Studia Logica 2025 Vol. 113 P. 1–48

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

Algorithmic properties of modal and superintuitionistic logics of monadic predicates over finite Kripke frames

Рыбаков М. Н., Shkatov D., Journal of Logic and Computation 2025 Vol. 35 No. 2 Article exad078

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

Complexity function and complexity of validity of modal and superintuitionistic propositional logics

Рыбаков М. Н., Shkatov D., Journal of Logic and Computation 2023 Vol. 33 No. 7 P. 1566–1595

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