Pages that link to "Item:Q1612689"
From MaRDI portal
The following pages link to Complexity and nicety of fluted logic (Q1612689):
Displaying 6 items.
- Decidability of fluted logic with identity (Q1924331) (← links)
- The fluted fragment with transitive relations (Q2238133) (← links)
- The complexity of poor man's logic (Q2761753) (← links)
- The Fluted Fragment with Transitivity (Q5092377) (← links)
- THE FLUTED FRAGMENT REVISITED (Q5195057) (← links)
- Craig interpolation for decidable first-order fragments (Q6629523) (← links)