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 proceeding › Conference contribution › Research › peer-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
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 -