Pages that link to "Item:Q1685940"
From MaRDI portal
The following pages link to Substructural logics with a reflexive transitive closure modality (Q1685940):
Displaying 4 items.
- Modal translations in substructural logics (Q1198409) (← links)
- Reflexive-insensitive logics, the boxdot translation, and the modal logic of generic absoluteness (Q1982014) (← links)
- Reflexive-insensitive modal logics (Q2804478) (← links)
- Cyclic hypersequent system for transitive closure logic (Q6050767) (← links)