Topology, Algebra and Categories in Logic (TACL 2011)

?

Topology, Algebra and Categories in Logic (TACL 2011)

Марсель : 2011.

Научный редактор: L. Santocanale, N. Olivetti, Y. Lafont

Finite model property of pretransitive analogs of S5

Кудинов А. В., Shapirovsky I., , in: Topology, Algebra and Categories in Logic (TACL 2011).: Marseille: [б.и.], 2011. P. 261–264.

We consider propositional normal unimodal pretransitive logics, i.e., logics with expressible `transitive' modality. There is a long-standing open problem about the finite model property (fmp) and decidability of pretransitive logics, in particular - for the logics K^m_n = K+[]^m p -> []^n p, n>m>1. ...

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

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

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

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

Topology, Algebra and Categories in Logic (TACL 2011)

On calibration of remote sensing retrievals of ecosystem respiration (Reco) with tower measurements over,Russian forests and wetlands

Shabanov N., Kuricheva O., Kurbatova J. и др., / Series Working Papers SSRN "Department of Economics Ca’ Foscari University of Venice". 2026.

Добавлено: 21 августа 2026 г.

Three Algorithms for Merging Hierarchical Navigable Small World Graphs

Пономаренко А. А., / Series Computer Science "arxiv.org". 2025.

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

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

Growth in noncommutative algebras and entropy in derived categories

Пионтковский Д. И., / Series arXiv "math". 2026.

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

Multilinear nilalgebras and the Jacobian theorem

Пионтковский Д. И., / Series arXiv "math". 2025.

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

Strong Approximations for Markov Chains Weakly Converging to Diffusions

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

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

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

On algebraic and topological semantics of the modal logic of common knowledge S4CI

Шамканов Д. С., Logic Journal of the IGPL 2024 Vol. 32 No. 1 P. 164–179