Approximation spaces of temporal processes and effectiveness of interval semantics

Результат исследования: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

Аннотация

A series of positive results related to the generalized problem of Yu.L. Ershov on the structure of Σ-degrees of dense linear orders is obtained. In particular, we prove that interval models of temporal logic, as well as finite fragments of approximation spaces generated by interval Boolean algebras, are Σ-definable (effectively interpretable) in hereditarily finite superstructures over dense linear orders. These results are used in the analysis of semantics of verbs in natural languages within the approach in formal semantics proposed by R. Montague.

Язык оригиналаанглийский
Название основной публикацииDistributed Computing and Artificial Intelligence, Special Sessions, 17th International Conference, DCAI 2020
РедакторыSara Rodríguez González, Javier Prieto, Alfonso González-Briones, Arkadiusz Gola, George Katranas, Michela Ricca, Roussanka Loukanova, Roussanka Loukanova
ИздательSpringer Nature
Страницы53-61
Число страниц9
ISBN (электронное издание)978-3-030-53829-3
ISBN (печатное издание)9783030538286
DOI
СостояниеОпубликовано - 2021
Событие17th International Symposium on Distributed Computing and Artificial Intelligence, DCAI 2020 - L´Aquila, Италия
Продолжительность: 17 июн 202019 июн 2020

Серия публикаций

НазваниеAdvances in Intelligent Systems and Computing
Том1242 AISC
ISSN (печатное издание)2194-5357
ISSN (электронное издание)2194-5365

Конференция

Конференция17th International Symposium on Distributed Computing and Artificial Intelligence, DCAI 2020
СтранаИталия
ГородL´Aquila
Период17.06.202019.06.2020

Fingerprint Подробные сведения о темах исследования «Approximation spaces of temporal processes and effectiveness of interval semantics». Вместе они формируют уникальный семантический отпечаток (fingerprint).

  • Цитировать

    Stukachev, A. (2021). Approximation spaces of temporal processes and effectiveness of interval semantics. В S. Rodríguez González, J. Prieto, A. González-Briones, A. Gola, G. Katranas, M. Ricca, R. Loukanova, & R. Loukanova (Ред.), Distributed Computing and Artificial Intelligence, Special Sessions, 17th International Conference, DCAI 2020 (стр. 53-61). (Advances in Intelligent Systems and Computing; Том 1242 AISC). Springer Nature. https://doi.org/10.1007/978-3-030-53829-3_5