Pages that link to "Item:Q1768798"
From MaRDI portal
The following pages link to Branching within time: An expressively complete and elementarily decidable temporal logic for time granularity (Q1768798):
Displaying 11 items.
- Embedding time granularity in a logical specification language for synchronous real-time systems (Q685609) (← links)
- Expressive completeness failure in branching time structures (Q1109759) (← links)
- Undivided and indistinguishable histories in branching-time logics (Q1289103) (← links)
- A branching time logic with past operators (Q1337463) (← links)
- Linear, branching time and joint closure semantics for temporal logic (Q1863748) (← links)
- Decision procedures and expressiveness in the temporal logic of branching time (Q2265816) (← links)
- Definability and decidability of binary predicates for time granularity (Q2495389) (← links)
- On the relationships between theories of time granularity and the monadic second-order theory of one successor (Q3647247) (← links)
- Theories of -layered metric temporal structures: expressiveness and decidability (Q4238501) (← links)
- (Q4733384) (← links)
- Correct Hardware Design and Verification Methods (Q5897075) (← links)