?
Рождение европейской философии истории и логико-темпоральные схемы ренневизантийских авторов
С. 255–275.
Kamenskikh A. A.
The chapter of the collective monograph compares the temporal logics of late Neoplatonism and early Christian tradition; The problems of the genesis of the concept of time as a structure formed by a number of kairos moments, each of which may turn out to be a break point in the time series, are discussed.
In book
Lourié B., Kamenskikh A. A., Biriukov D., Щукин Т. А., Макаров Д. И., Гончарко О. Ю., Гончарко Д. Н. Т. 19. , СПб.: Центр содействия образованию, 2020.
Grünert A., Библия и христианская древность 2023 Т. 17 № 1 С. 247–273
Публикация представляет собой хронику конференции "Origeniana XIII", прошедшей в августе 2022 г. в Мюнстере (Германия). ...
Added: June 15, 2023
Grünert A., ΣΧΟΛΗ. Ancient Philosophy and the Classical Tradition 2023 Vol. 17 No. 2 P. 656–671
Added: June 15, 2023
Kurdybaylo D., Вестник Русской христианской гуманитарной академии 2022 Т. 23 № 4 С. 51–63
The biblical narrative on the creation of the heaven, firmament and celestial bodies introduced several difficulties for early Christian commentators of Genesis 1 caused by significant contradictions with traditional ancient conceptions of the universe and its inner structure. The Timaeus of Plato and De caelo of Aristoteles had been considered a standard of cosmological discourse ...
Added: May 5, 2023
Popova E., Логико-философские штудии 2022 Vol. 20 No. 1 P. 1–7
There are two approaches to merging temporal and epistemic models. The first one consists in starting with a temporal model and enriching it with epistemic dimension (as temporal epistemic logic), while the second one is supposed to start with an epistemic model introducing temporal dimension (dynamic epistemic logic, epistemic temporal logic). The proposed evolutionary epistemic ...
Added: August 1, 2022
Gnatenko A., Zakharov V., Automatic Control and Computer Sciences 2021 Vol. 55 No. 7 P. 776–785
Sequential reactive systems include programs and devices that work with two streams of
data and convert input streams of data into output streams. Such information processing systems
include controllers, device drivers, computer interpreters. The results of operation of such computing
systems are infinite sequences of pairs of events of the request-response type, and, therefore, finite
transducers are most often ...
Added: January 17, 2022
Gnatenko A., Zakharov V., Моделирование и анализ информационных систем 2021 Т. 28 № 4 С. 356–371
Sequential reactive systems are computer programs or hardware devices which process the flows of input data or control signals and output the streams of instructions or responses. When designing such systems one needs formal specification languages capable of expressing the relationships between the input and output flows. Previously, we introduced a family of such specification ...
Added: January 17, 2022
Zakharyaschev M., Ryzhikov V., Wałęga P., Springer Publishing Company, 2020.
Added: November 8, 2021
Rybakov V., Siberian Mathematical Journal 2021 Vol. 62 P. 503–510
Under study are the branching time temporal logics with temporal accessibility relations for the agents different in length and content. We find an algorithm for solving the problems of satisfiability and decidability of the logic through describing finite satisfiable models of computable size (through the size of the input formulas). We remove the constraints on the ...
Added: November 8, 2021
Zakharyaschev M., Savateev Y., Ryzhikov V., Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2021.
Our concern is the problem of determining the data complexity of answering an ontology-mediated query (OMQ) given in linear temporal logic LTL over (Z, <) and deciding whether it is rewritable to an FO(<)-query, possibly with extra predicates. First, we observe that, in line with the circuit complexity and FO-definability of regular languages, OMQ answering ...
Added: November 6, 2021
Biriukov D., Scrinium: Journal of Patrology and Critical Hagiography 2021 Vol. 17 P. 335–348
I analyze the polemically charged exposition of classical cosmologies by Gregory of Nyssa in Against Eunomius II, 72–76, and identify probable sources for this passage and the targets of Gregory’s criticism of classical cosmologies, manifested in this passage. In Against Eunomius II, 73–75, Gregory presents the Aristotelian cosmology and polemicizes with it. My analysis shows ...
Added: October 14, 2021
Popova E., , in: Двенадцатые Смирновские чтения: материалы Международной научной конференции, Москва, 24–26 июня 2021 г.: М.: Русское общество истории и философии науки, 2021. P. 134–137.
This paper is concerned with the formalization problem of a wide range of scenarios of how knowledge evolves over time. We focus on combinations of temporal and epistemic modalities reflecting various properties of rational agents’ deliberation. For this purpose, we introduce the model EEM – evolutionary epistemic model. ...
Added: June 28, 2021
Kamenskikh A. A., Каменских В. А., Платоновские исследования 2021 Т. 14 № 1 С. 203–214
The paper deals with two versions of the hypothesis about “Origenism” of Aleksey Khomyakov, a Russian philosopher of 19th century, one of the leaders of the so called Slavophile movement. The hypothesis about Khomyakov’s “Origenism” was postulated by Basil (Vadim) Lourié in his works of 1994 and 2020. The authors of the paper evaluate the ...
Added: June 24, 2021