Allen-like theory of time for tree-like structures

DOI10.1016/j.ic.2017.08.009zbMath1436.03122OpenAlexW2770134708MaRDI QIDQ1706167

Guido Sciavicco, Salih Durhan

Publication date: 21 March 2018

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/11392/2385280

zbMATH Keywords

representation theoremsbranching timecomplete and incomplete sets

Mathematics Subject Classification ID

Temporal logic (03B44)

Related Items (2)

Unnamed Item ⋮ Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Maintaining knowledge about temporal intervals
• Checking interval properties of computations
• The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse.
• Concerted instant-interval temporal semantics. I: Temporal ontologies
• Alternating-time temporal logic
• A Modal Logic for Chopping Intervals
• Note on a Lemma of Ladkin

This page was built for publication: Allen-like theory of time for tree-like structures