Approximation spaces of temporal processes and effectiveness of interval semantics

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

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.

Original languageEnglish
Title of host publicationDistributed Computing and Artificial Intelligence, Special Sessions, 17th International Conference, DCAI 2020
EditorsSara Rodríguez González, Javier Prieto, Alfonso González-Briones, Arkadiusz Gola, George Katranas, Michela Ricca, Roussanka Loukanova, Roussanka Loukanova
PublisherSpringer Nature
Pages53-61
Number of pages9
ISBN (Electronic)978-3-030-53829-3
ISBN (Print)9783030538286
DOIs
Publication statusPublished - 2021
Event17th International Symposium on Distributed Computing and Artificial Intelligence, DCAI 2020 - L´Aquila, Italy
Duration: 17 Jun 202019 Jun 2020

Publication series

NameAdvances in Intelligent Systems and Computing
Volume1242 AISC
ISSN (Print)2194-5357
ISSN (Electronic)2194-5365

Conference

Conference17th International Symposium on Distributed Computing and Artificial Intelligence, DCAI 2020
CountryItaly
CityL´Aquila
Period17.06.202019.06.2020

Keywords

  • Approximation spaces
  • Effective model theory
  • Montague semantics for natural languages

Fingerprint Dive into the research topics of 'Approximation spaces of temporal processes and effectiveness of interval semantics'. Together they form a unique fingerprint.

Cite this