Pages that link to "Item:Q386037"
From MaRDI portal
The following pages link to Branching-time logics with path relativisation (Q386037):
Displaying 8 items.
- Branching-time logics repeatedly referring to states (Q1047801) (← links)
- \(R\)-generability, and definability in branching time logics (Q1197983) (← links)
- A branching time logic with past operators (Q1337463) (← links)
- Sublogics of a branching time logic of robustness (Q1740655) (← links)
- (Q4733384) (← links)
- Finite and Circular Path Models for Branching Time Logics (Q5753939) (← links)
- A Branching Time Variant of CaRet (Q5883579) (← links)
- Temporal logics with language parameters (Q6186316) (← links)