Expressive completeness of temporal logic of trees

DOI10.1080/11663081.1992.10510780zbMath0790.03020OpenAlexW2023251419MaRDI QIDQ4275690

Bernd-Holger Schlingloff

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

zbMATH Keywords

expressive completenesstreessemanticstemporal logictree-like structuresuntilsince\(k\)-nextfirst-order condition

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

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