Expressive completeness of temporal logic of trees
From MaRDI portal
Publication:4275690
DOI10.1080/11663081.1992.10510780zbMath0790.03020OpenAlexW2023251419MaRDI QIDQ4275690
Publication date: 22 June 1994
Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1080/11663081.1992.10510780
expressive completenesstreessemanticstemporal logictree-like structuresuntilsince\(k\)-nextfirst-order condition
Related Items (3)
Finite \(H\)-dimension does not imply expressive completeness ⋮ Arity hierarchy for temporal logics ⋮ Reasoning about XML with temporal logics and automata
This page was built for publication: Expressive completeness of temporal logic of trees