Pages that link to "Item:Q4275690"
From MaRDI portal
The following pages link to Expressive completeness of temporal logic of trees (Q4275690):
Displaying 8 items.
- Completeness of a branching-time logic with possible choices (Q622622) (← links)
- Arity hierarchy for temporal logics (Q944387) (← links)
- Reasoning about XML with temporal logics and automata (Q975873) (← links)
- Expressive completeness failure in branching time structures (Q1109759) (← links)
- Finite trees in tense logic (Q1288959) (← links)
- Finite \(H\)-dimension does not imply expressive completeness (Q1337512) (← links)
- (Q4218103) (← links)
- EXTENDED TEMPORAL LOGICS ON FINITE TREES (Q4922672) (← links)