Arity hierarchy for temporal logics

DOI10.1016/J.TCS.2008.06.006zbMath1151.03010OpenAlexW2113574473MaRDI QIDQ944387

Alexander Rabinovich

Publication date: 16 September 2008

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2008.06.006

zbMATH Keywords

expressivenessKamp's theoremtemporal logics over trees

Mathematics Subject Classification ID

Logic in computer science (03B70) Temporal logic (03B44)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Fairness and related properties in transition systems - a temporal logic to deal with fairness
• The monadic theory of order
• An infinite hierarchy of temporal logics over branching time
• \(\text{BTL}_{2}\) and the expressive power of \(\text{ECTL}^{+}\)
• Uniformization, choice functions and well orders in the class of trees
• The first order properties of products of algebraic systems
• The decision problem for branching time logic
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• “Sometimes” and “not never” revisited
• Expressive completeness of temporal logic of trees
• Monadic Logic of Order over Naturals has no Finite Base

This page was built for publication: Arity hierarchy for temporal logics