Gerald Berger, Lev D. Beklemishev, Hans Tompits. A many-sorted variant of Japaridze's polymodal provability logic, Jan 2016, 15 pp., ArXiv: 1601.02857.

Berger G.; L. D. Beklemishev; Tompits H.

Публикации

?

Gerald Berger, Lev D. Beklemishev, Hans Tompits. A many-sorted variant of Japaridze's polymodal provability logic, Jan 2016, 15 pp., ArXiv: 1601.02857.

2016. No. 1601.02857.

Berger G., Беклемишев Л. Д., Tompits H.

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

Приоритетные направления: компьютерно-математическое математика

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

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

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

Proceedings of the 19th Conference of the European Chapter of the Association for Computational Linguistics (Volume 1: Long Papers)

Association for Computational Linguistics, 2026.

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

Strong Approximations for Markov Chains Weakly Converging to Diffusions

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

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

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 г.

ML-based Fast Simulation of FARICH Responses

Шипилов Ф. А., Barnyakov A., Ivanov A. и др., / Series Physics "arxiv.org". 2026.

Добавлено: 19 мая 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 г.

Natural hazard database from Internet publications: text mining with a large language model

Деркачева А. А., Сакиркина М. А., Краев Г. Н. и др., /. 2026.

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

Algorithmic overlaps as thermodynamic variables: from local to cluster Monte Carlo dynamics in critical phenomena

Пиле Я. Э., Deng Y., Щур Л. Н., / Series arXiv "math". 2026. No. 2604.10254.

Добавлено: 20 апреля 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 г.

Global neighbourhood completeness of the provability logic GLP

Шамканов Д. С., , in: Advances in Modal LogicVol. 13.: College Publications, 2020. P. 581–596.

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

Non-well-founded derivations in the Gödel-Löb provability logic

Шамканов Д. С., Review of Symbolic Logic 2020 Vol. 13 No. 4 P. 776–796

Добавлено: 20 декабря 2019 г.

A many-sorted variant of Japaridze's polymodal provability logic

Berger G., Беклемишев Л. Д., Tompits H., Logic Journal of the IGPL 2018 Vol. 26 No. 5 P. 505–538

We consider a many-sorted variant of Japaridze’s polymodal provability logic (⁠GLP⁠). In this variant, which is denoted GLP∗⁠, propositional variables are assigned sorts n≤ω⁠, where variables of finite sort n<ω are interpreted as Π_{n+1}-sentences of the arithmetical hierarchy, while those of sort ω range over arbitrary ones. We prove that GLP∗is arithmetically complete with respect to this interpretation. Moreover, we ...

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

Global neighbourhood completeness of the Gödel-Löb provability logic

Шамканов Д. С., , in: Logic, Language, Information, and Computation: 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings.: Springer, 2017. P. 358–370.

Добавлено: 26 сентября 2017 г.

A realization theorem for the Gödel-Löb provability logic

Шамканов Д. С., Sbornik Mathematics 2016 Vol. 207 No. 9 P. 1344–1360

Предложена новая логика свидетельств, связанная с логикой доказуемости Гёделя–Лёба GL, и доказана теорема о реализации логики GL в данной логике свидетельств относительно нормальных реализаций. ...

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

Franco Montagna’s Work on Provability Logic and Many-valued Logic

L. Beklemishev, Flaminio T., Studia Logica 2016 Vol. 104 No. 1 P. 1–46

Franco Montagna, a prominent logician and one of the leaders of the Italian school on Mathematical Logic, passed away on February 18, 2015. We survey some of his results and ideas in the two disciplines he greatly contributed along his career: provability logic and many-valued logic. ...

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

Nested Sequents for Provability Logic GLP

Шамканов Д. С., Logic Journal of the IGPL 2015 Vol. 23 No. 5 P. 789–815

We present a proof system for the provability logic GLP in the formalism of nested sequents and prove the cut elimination theorem for it. As an application, we obtain the reduction of GLP to its important fragment called J syntactically. ...

Добавлено: 2 июля 2015 г.