Pages that link to "Item:Q4635613"
From MaRDI portal
The following pages link to Decidability of weak logics with deterministic transitive closure (Q4635613):
Displaying 9 items.
- On decidability of the theory with the transitive closure operator (Q266242) (← links)
- On the power of deterministic transitive closures (Q1893732) (← links)
- A deterministic weakening of Belnap-Dunn logic (Q2422310) (← links)
- Two-Variable Separation Logic and Its Inner Circle (Q2957697) (← links)
- Deciding whether a relation defined in Presburger logic can be defined in weaker logics (Q3514638) (← links)
- Separation logics and modalities: a survey (Q4586138) (← links)
- One-Dimensional Logic over Trees (Q5111281) (← links)
- Complexity of Two-Variable Logic on Finite Trees (Q5278193) (← links)
- Computer Science Logic (Q5311254) (← links)