Standard

Approximation spaces of temporal processes and effectiveness of interval semantics. / Stukachev, Alexey.

Distributed Computing and Artificial Intelligence, Special Sessions, 17th International Conference, DCAI 2020. ed. / Sara Rodríguez González; Javier Prieto; Alfonso González-Briones; Arkadiusz Gola; George Katranas; Michela Ricca; Roussanka Loukanova; Roussanka Loukanova. Springer Nature, 2021. p. 53-61 (Advances in Intelligent Systems and Computing; Vol. 1242 AISC).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Harvard

Stukachev, A 2021, Approximation spaces of temporal processes and effectiveness of interval semantics. in S Rodríguez González, J Prieto, A González-Briones, A Gola, G Katranas, M Ricca, R Loukanova & R Loukanova (eds), Distributed Computing and Artificial Intelligence, Special Sessions, 17th International Conference, DCAI 2020. Advances in Intelligent Systems and Computing, vol. 1242 AISC, Springer Nature, pp. 53-61, 17th International Symposium on Distributed Computing and Artificial Intelligence, DCAI 2020, L´Aquila, Italy, 17.06.2020. https://doi.org/10.1007/978-3-030-53829-3_5

APA

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

Vancouver

Stukachev A. Approximation spaces of temporal processes and effectiveness of interval semantics. In Rodríguez González S, Prieto J, González-Briones A, Gola A, Katranas G, Ricca M, Loukanova R, Loukanova R, editors, Distributed Computing and Artificial Intelligence, Special Sessions, 17th International Conference, DCAI 2020. Springer Nature. 2021. p. 53-61. (Advances in Intelligent Systems and Computing). doi: 10.1007/978-3-030-53829-3_5

Author

Stukachev, Alexey. / Approximation spaces of temporal processes and effectiveness of interval semantics. Distributed Computing and Artificial Intelligence, Special Sessions, 17th International Conference, DCAI 2020. editor / Sara Rodríguez González ; Javier Prieto ; Alfonso González-Briones ; Arkadiusz Gola ; George Katranas ; Michela Ricca ; Roussanka Loukanova ; Roussanka Loukanova. Springer Nature, 2021. pp. 53-61 (Advances in Intelligent Systems and Computing).

BibTeX

@inproceedings{e9d7ba4f5fee45a78d80d8b9c10632e3,
title = "Approximation spaces of temporal processes and effectiveness of interval semantics",
abstract = "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.",
keywords = "Approximation spaces, Effective model theory, Montague semantics for natural languages",
author = "Alexey Stukachev",
year = "2021",
doi = "10.1007/978-3-030-53829-3_5",
language = "English",
isbn = "9783030538286",
series = "Advances in Intelligent Systems and Computing",
publisher = "Springer Nature",
pages = "53--61",
editor = "{Rodr{\'i}guez Gonz{\'a}lez}, Sara and Javier Prieto and Alfonso Gonz{\'a}lez-Briones and Arkadiusz Gola and George Katranas and Michela Ricca and Roussanka Loukanova and Roussanka Loukanova",
booktitle = "Distributed Computing and Artificial Intelligence, Special Sessions, 17th International Conference, DCAI 2020",
address = "United States",
note = "17th International Symposium on Distributed Computing and Artificial Intelligence, DCAI 2020 ; Conference date: 17-06-2020 Through 19-06-2020",

}

RIS

TY - GEN

T1 - Approximation spaces of temporal processes and effectiveness of interval semantics

AU - Stukachev, Alexey

PY - 2021

Y1 - 2021

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

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

KW - Approximation spaces

KW - Effective model theory

KW - Montague semantics for natural languages

UR - http://www.scopus.com/inward/record.url?scp=85089609964&partnerID=8YFLogxK

UR - https://www.mendeley.com/catalogue/452214a2-53da-321c-b297-7579259829d0/

U2 - 10.1007/978-3-030-53829-3_5

DO - 10.1007/978-3-030-53829-3_5

M3 - Conference contribution

AN - SCOPUS:85089609964

SN - 9783030538286

T3 - Advances in Intelligent Systems and Computing

SP - 53

EP - 61

BT - Distributed Computing and Artificial Intelligence, Special Sessions, 17th International Conference, DCAI 2020

A2 - Rodríguez González, Sara

A2 - Prieto, Javier

A2 - González-Briones, Alfonso

A2 - Gola, Arkadiusz

A2 - Katranas, George

A2 - Ricca, Michela

A2 - Loukanova, Roussanka

A2 - Loukanova, Roussanka

PB - Springer Nature

T2 - 17th International Symposium on Distributed Computing and Artificial Intelligence, DCAI 2020

Y2 - 17 June 2020 through 19 June 2020

ER -

ID: 25291449