?
The logic of action lattices is undecidable
Ch. 36. P. 1–9.
ПУБЛИКАЦИЯ ПОДГОТОВЛЕНА ПО РЕЗУЛЬТАТАМ ПРОЕКТА:
Stepan L. Kuznetsov, Journal of Logic and Computation 2023 Vol. 33 No. 6 P. 1437–1462
Добавлено: 7 марта 2023 г.
Ugandran I., Махендран А., S. A. и др., Computers and Electrical Engineering 2021 Vol. 96 No. 1 Article 107429
Добавлено: 23 ноября 2021 г.
Рыбаков М. Н., Shkatov D., Logic Journal of the IGPL 2022 Vol. 30 No. 3 P. 519–533
Добавлено: 29 мая 2021 г.
Канович М. И., Кузнецов С. Л., Щедров А., Journal of Logic, Language and Information 2021 Vol. 30 No. 1 P. 31–88
Добавлено: 25 ноября 2020 г.
Рыбаков М. Н., Shkatov D., , in: Advances in Modal LogicVol. 13.: College Publications, 2020. P. 523–539.
Добавлено: 27 августа 2020 г.
Рыбаков М. Н., Shkatov D., Journal of Logic and Computation 2020 Vol. 30 No. 7 P. 1305–1329
Добавлено: 27 августа 2020 г.
Погудин Г. А., Scanlon T., Wibmer M., / Series "Working papers by Cornell University". 2019.
Добавлено: 1 ноября 2019 г.
Канович М. И., Кузнецов С. Л., Щедров А., , in: Formal Grammar 2019, 24th International ConferenceVol. 11668.: Berlin: Springer, 2019. P. 67–83.
Добавлено: 15 октября 2019 г.
Рыбаков М. Н., Shkatov D., Studia Logica 2019 Vol. 107 No. 4 P. 695–717
Добавлено: 2 октября 2019 г.
Канович М. И., Кузнецов С. Л., Щедров А., , in: Logic, Language, Information, and Computation: 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, ProceedingsVol. 11541: Lecture Notes in Computer Science.: Berlin, Heidelberg: Springer, 2019. P. 373–391.
Добавлено: 4 сентября 2019 г.
Авдошин С. М., Набебин А. А., М.: ДМК Пресс, 2019.
Книга содержит необходимые сведения из теории алгоритмов, теории графов, комбинаторики. Рассматриваются частично рекурсивные функции, машины Тьюринга, приводятся некоторые варианты алгоритмов (ассоциативные исчисления, системы подстановок, грамматики, продукции Поста, нормальные алгоритмы Маркова, операторные алгоритмы). Описываются основные типы графов (мультиграфы, псевдографы, эйлеровы графы, гамильтоновы графы, деревья, двудольные графы, паросочетания, сети Петри, планарные графы, транспортные сети). Приводятся некоторые часто ...
Добавлено: 24 августа 2018 г.
Золин Е. Е., 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 г.
Родин А. В., , in: Berechenbarkeit der Welt? Philosophie und Wissenschaft im Zeitalter von Big Data.: Wiesbaden: Springer, 2017. P. 193–207.
Turing machine adequately accounts for the temporal aspect of real computing
but fails to do so for certain spatial aspects of computing, in particular, in the
case of distributed computing systems. This motivates a search for alternative models of
computing, which could take such spatial aspects into account. I argue that a revision of
the received views on the ...
Добавлено: 5 июня 2018 г.
Авдошин С. М., Набебин А. А., М.: ДМК Пресс, 2018.
Книга содержит основные сведения из формально-логических систем. Это функции алгебры логики (булевы функции), теорема Поста о функциональной полноте, k-значные логики, производные булевых функций, аксиоматические исчисления высказываний, предикатов, секвенций, резолюций и язык программирования Пролог. Рассматриваются монадическая логика, конечные автоматы и представимые ими языки, темпоральная логика, аксиоматический язык программирования OBJ3. В основу книги положен многолетний опыт преподавания ...
Добавлено: 2 декабря 2017 г.
Max I. Kanovich, Mathematical Structures in Computer Science 2016 Vol. 26 No. 5 P. 719–744
Добавлено: 1 сентября 2016 г.
Канович М. И., Kuznetsov S., Щедров А., , in: Symposium on Logical Foundations of Computer Science (LFCS 2016)Vol. 9537: Logical Foundations of Computer Science.: Springer, 2016. P. 146–158.
Добавлено: 28 июня 2016 г.
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 г.
Канович М. И., Ban Kirigin T., Nigam V. и др., Computer Languages, Systems & Structures 2014 No. 40 P. 137–154
Добавлено: 23 марта 2015 г.
Brotherston J., Канович М. И., Journal of the ACM 2014 Vol. 61 No. 2 P. 14:1–14:43
Добавлено: 23 марта 2015 г.
Шанг Ф. Ж., Philosophia Scientiae 2011 Vol. 15 No. 1 P. 149–188
Добавлено: 31 октября 2014 г.