Admissible generalisation of temporal sequences as chronicles
From MaRDI portal
Recommendations
- A temporal splitting theorem for chronological spaces
- Sequentiality in an extensional framework
- scientific article; zbMATH DE number 1487931
- A Note on Chronological Logic
- Temporal Reasoning about Two Concurrent Sequences of Events
- A theory of sequentiality
- Interconnections between classes of sequentially compositional temporal formulas
- scientific article; zbMATH DE number 1696880
- A general framework for time granularity and its application to temporal reasoning.
Cites work
This page was built for publication: Admissible generalisation of temporal sequences as chronicles
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6060998)