Interval extensions of orders and temporal approximation spaces
From MaRDI portal
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)