• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • HSE University
  • Publications
  • Book chapter
  • Рождение европейской философии истории и логико-темпоральные схемы ренневизантийских авторов
  • RU
  • EN
Расширенный поиск
Высшая школа экономики
Национальный исследовательский университет
Priority areas
  • business informatics
  • economics
  • engineering science
  • humanitarian
  • IT and mathematics
  • law
  • management
  • mathematics
  • sociology
  • state and public administration
by year
  • 2028
  • 2027
  • 2026
  • 2025
  • 2024
  • 2023
  • 2022
  • 2021
  • 2020
  • 2019
  • 2018
  • 2017
  • 2016
  • 2015
  • 2014
  • 2013
  • 2012
  • 2011
  • 2010
  • 2009
  • 2008
  • 2007
  • 2006
  • 2005
  • 2004
  • 2003
  • 2002
  • 2001
  • 2000
  • 1999
  • 1998
  • 1997
  • 1996
  • 1995
  • 1994
  • 1993
  • 1992
  • 1991
  • 1990
  • 1989
  • 1988
  • 1987
  • 1986
  • 1985
  • 1984
  • 1983
  • 1982
  • 1981
  • 1980
  • 1979
  • 1978
  • 1977
  • 1976
  • 1975
  • 1974
  • 1973
  • 1972
  • 1971
  • 1970
  • 1969
  • 1968
  • 1967
  • 1966
  • 1965
  • 1964
  • 1963
  • 1958
  • More
Subject
News
September 11, 2026
How to Assess Students Knowledge in the Age of AI
A researcher at HSE University has proposed a flowchart to help lecturers decide how to assess students who use artificial intelligence. It shows where the use of AI should be restricted and where it can be incorporated into the learning process. The article has been published in IT Professional.
September 9, 2026
‘Balkan Hospitality Opens Doors: Studying Dialects on the Verge of Extinction
You cannot study spoken dialects from books. Instead, you need to go to a village, seek out its elders, and earn the trust of local residents before you can record hours of spontaneous stories. This is how Natalia Muravleva, Associate Professor at the Faculty of Humanities, conducts her research. Her internship in Serbia continued her long-standing study of dialects spoken by Macedonian settlers. In this interview, she discusses how diaspora cultural centres help researchers reach informants, why native speakers need to be interviewed only in their own language (otherwise, as she puts it, they may 'break'), and how a single field season helped her finalise her monograph. She also shares warm memories of autumn in Belgrade and of colleagues with whom grammar can be discussed in three languages at once.
September 9, 2026
Scientists Train Neural Network to Generate Process Plans from 3D Models
Researchers at the HSE FCS AI and Digital Science Institute have developed CAD2TechSpec, a framework that converts 3D models of mechanical parts into machining process plans—step-by-step instructions for machine tools. The solution aims to reduce the time required for the design and preparation of technical process documentation in mechanical engineering, aircraft manufacturing, and other high-tech industries. The study findings have been published in PeerJ Computer Science.

 

Have you spotted a typo?
Highlight it, click Ctrl+Enter and send us a message. Thank you for your help!

Publications
  • Books
  • Articles
  • Chapters of books
  • Working papers
  • Report a publication
  • Research at HSE

?

Рождение европейской философии истории и логико-темпоральные схемы ренневизантийских авторов

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

Language: Russian
Full text
Keywords: Origen of AlexandriaОриген Александрийскийтемпоральная логикаГригорий НисскийGregory of Nyssalate Neoplatonismпоздний неоплатонизмtemporal logic

In book

Логика и онтология в византийской догматической полемике. Очерки: Коллективная монография
Lourié B., Kamenskikh A. A., Biriukov D., Щукин Т. А., Макаров Д. И., Гончарко О. Ю., Гончарко Д. Н. Т. 19. , СПб.: Центр содействия образованию, 2020.
Similar publications
Хроника и обзор «Colloqium Origenianum tertium decium». Часть I (15–17 августа)
Grünert A., Библия и христианская древность 2023 Т. 17 № 1 С. 247–273
Публикация представляет собой хронику конференции "Origeniana XIII", прошедшей в августе 2022 г. в Мюнстере (Германия). ...
Added: June 15, 2023
The Psalter as a Source of Knowledge in Origen’s and Basil’s Exegesis on the Psalms
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
Merging Epistemic and Temporal Models: a History-Free Approach
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
On the Model Checking Problem for Some Extension of CTL*
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
Reasoning Web. Declarative Artificial Intelligence, 16th International Summer School 2020, Oslo, Norway, June 24-26, 2020, Tutorial Lectures. Article: Temporal Ontology-Mediated Queries and First-Order Rewritability: A Short Course
Zakharyaschev M., Ryzhikov V., Wałęga P., Springer Publishing Company, 2020.
Added: November 8, 2021
Branching Time Logics with Multiagent Temporal Accessibility Relations
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
Conference: 28th International Symposium on Temporal Representation and Reasoning, TIME 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
Cosmological Polemics in Against Eunomius II, 72–76 of Gregory of Nyssa. With Whom Does Gregory Argue?
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
Knowledge and Time: Evolutionary Epistemic Model
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
  • About
  • About
  • Key Figures & Facts
  • Sustainability at HSE University
  • Faculties & Departments
  • International Partnerships
  • Faculty & Staff
  • HSE Buildings
  • HSE University for Persons with Disabilities
  • Public Enquiries
  • Studies
  • Admissions
  • Programme Catalogue
  • Undergraduate
  • Graduate
  • Exchange Programmes
  • Summer University
  • Summer Schools
  • Semester in Moscow
  • Business Internship
  • Research
  • International Laboratories
  • Research Centres
  • Research Projects
  • Monitoring Studies
  • Conferences & Seminars
  • Academic Jobs
  • Yasin (April) International Academic Conference on Economic and Social Development
  • Media & Resources
  • Publications by staff
  • HSE Journals
  • Publishing House
  • iq.hse.ru: commentary by HSE experts
  • Library
  • Economic & Social Data Archive
  • Video
  • HSE Repository of Socio-Economic Information
  • HSE1993–2026
  • Contacts
  • Copyright
  • Privacy Policy
  • Site Map
Edit