?
On Lambek’s Restriction in the Presence of Exponential Modalities
P. 146-158.
Канович М. И., Kuznetsov S., Щедров А.
ПУБЛИКАЦИЯ ПОДГОТОВЛЕНА ПО РЕЗУЛЬТАТАМ ПРОЕКТА:
В книге
Vol. 9537: Logical Foundations of Computer Science. , Springer, 2016
Канович М. И., Кузнецов С. Л., Щедров А., Journal of Logic and Computation 2020 Vol. 30 No. 1 P. 239-256
Добавлено: 1 июля 2020 г.
Sergey Slavnov, Logical Methods in Computer Science 2023 Vol. 19 No. 4
Добавлено: 20 декабря 2023 г.
Max I. Kanovich, Mathematical Structures in Computer Science 2016 Vol. 26 No. 5 P. 719-744
Добавлено: 1 сентября 2016 г.
Канович М. И., Кузнецов С. Л., Щедров А., , in : Logic, Language, Information, and Computation: 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings. Vol. 11541: Lecture Notes in Computer Science.: Berlin, Heidelberg : Springer, 2019. P. 373-391.
Добавлено: 4 сентября 2019 г.
Канович М. И., Кузнецов С. Л., Щедров А., Journal of Logic, Language and Information 2021 Vol. 30 No. 1 P. 31-88
Добавлено: 25 ноября 2020 г.
Добавлено: 4 декабря 2021 г.
Славнов С. А., Journal of Logic and Computation 2022 Vol. 32 No. 3 P. 479-517
Добавлено: 21 октября 2021 г.
Канович М. И., Щедров А., Кузнецов С. Л., , in : 21st International Symposium, Fundamentals of Computation Theory 2017, FCT 2017. : Springer, 2017. P. 326-340.
Добавлено: 14 сентября 2017 г.
Славнов С. А., Theoretical Computer Science 2006 Vol. 357 No. 1-3 P. 215-229
Добавлено: 4 марта 2013 г.
Рыбаков М. Н., Shkatov D., , in : Advances in Modal Logic. Vol. 13.: College Publications, 2020. P. 523-539.
Добавлено: 27 августа 2020 г.
Канович М. И., Kuznetsov Stepan G., Кузнецов С. Л. и др., Studies in Computational Intelligence 2021 Vol. 999 P. 1-24
Добавлено: 14 декабря 2021 г.
Канович М. И., Ban Kirigin T., Nigam V. и др., Computer Languages, Systems & Structures 2014 No. 40 P. 137-154
Добавлено: 23 марта 2015 г.
Sergey Slavnov, Mathematical Structures in Computer Science 2021 Vol. 31 No. 5 P. 495-534
Добавлено: 16 ноября 2021 г.
Золин Е. Е., Journal of Logic and Computation 2017 Vol. 27 No. 5 P. 1399-1420
We extend the language of the modal logic K4 of transitive frames with two sorts of modalities. In addition to the usual possibility modality (which means that a formula holds in some successor of a given point), we consider graded modalities (a formula holds in at least n successors) and converse graded modalities (aformula holds ...
Добавлено: 14 июня 2018 г.
Рыбаков М. Н., Shkatov D., Journal of Logic and Computation 2020 Vol. 30 No. 7 P. 1305-1329
Добавлено: 27 августа 2020 г.
Канович М. И., Кузнецов С. Л., Щедров А., , in : Logic, Language, Information, and Computation: 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings. Vol. 11541: Lecture Notes in Computer Science.: Berlin, Heidelberg : Springer, 2019. P. 356-372.
Добавлено: 4 сентября 2019 г.
Sergey Slavnov, Logical Methods in Computer Science 2019 Vol. 15 No. 3 P. 1-25
Добавлено: 23 октября 2019 г.
Саватеев Ю. В., Известия РАН. Серия математическая 2011 Т. 75 № 3 С. 189-222
С помощью сетей доказательств исследуется алгоритмическая сложность проблемы выводимости в некоторых фрагментах исчисления Ламбека. Доказана NP-полнота этой задачи для одностороннего фрагмента и для фрагмента без умножения, а также для вариантов этих фрагментов, допускающих пустые антецеденты. ...
Добавлено: 20 октября 2014 г.
Blaisdell E., Канович М. И., Stepan L. Kuznetsov и др., , in : Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings. Vol. 13385.: Cham : Springer, 2022. P. 449-467.
Добавлено: 7 августа 2022 г.
Sergey Slavnov, Journal of Cognitive Science 2021 Vol. 22 No. 2 P. 68-91
Добавлено: 2 октября 2021 г.
Blute R., Panangaden P., Slavnov Sergey, Applied Categorical Structures 2012 Vol. 20 No. 3 P. 209-228
Добавлено: 18 февраля 2013 г.
Рыбаков М. Н., Shkatov D., Studia Logica 2019 Vol. 107 No. 4 P. 695-717
Добавлено: 2 октября 2019 г.
Kontchakov R., Pratt-Hartmann I., Nenov Y. и др., ACM Transactions on Computational Logic 2013 Vol. 14 No. 2 P. 13.1-13.48
We consider the quantifier-free languages, Bc and Bc°, obtained by augmenting the signature of Boolean algebras with a unary predicate representing, respectively, the property of being connected, and the property of having a connected interior. These languages are interpreted over the regular closed sets of Rn (n ≥ 2) and, additionally, over the regular closed semilinear sets of Rn. ...
Добавлено: 25 марта 2015 г.