Interval extensions of orders and temporal approximation spaces

DOI10.1134/S0037446621040157MaRDI QIDQ820474zbMATH OpenOpenAlexFDO

Authors Alexey I. Stukachev

Publication date 27 September 2021

Published in Siberian Mathematical Journal (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1134/s0037446621040157

zbMATH Keywords

approximation spacelinear orderinterval extensionmathematical linguisticseffective model theory

Mathematics Subject Classification ID

Computability and recursion theory (03Dxx) Model theory (03Cxx) Mathematical logic and foundations (03-XX)

Recommendations

• Interval temporal logics over strongly discrete linear orders: expressiveness and complexity
• A propositional modal logic of time intervals
• Temporal prepositions and their logic
• An integrated first-order theory of points and intervals over linear orders. II
• Interval temporal logics over strongly discrete linear orders: the complete picture

Cites work

• scientific article; zbMATH DE number 6536312 (Why is no real title available?)
• scientific article; zbMATH DE number 3921954 (Why is no real title available?)
• scientific article; zbMATH DE number 1302874 (Why is no real title available?)
• scientific article; zbMATH DE number 2154089 (Why is no real title available?)
• scientific article; zbMATH DE number 3995659 (Why is no real title available?)
• scientific article; zbMATH DE number 934359 (Why is no real title available?)
• scientific article; zbMATH DE number 6131597 (Why is no real title available?)
• A jump inversion theorem for the semilattices of \(\Sigma\)-degrees
• First-order dynamic logic
• Generalized hyperarithmetical computability over structures
• Maintaining knowledge about temporal intervals
• Properties of \(s\Sigma\)-reducibility
• The theory of A-spaces
• The uniformization property in hereditary finite superstructures
• \(\Sigma \)-definability of uncountable models of \(c\)-simple theories

This page was built for publication: Interval extensions of orders and temporal approximation spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q820474)