The following pages link to THE FLUTED FRAGMENT REVISITED (Q5195057):
Displaying 10 items.
- Complexity and nicety of fluted logic (Q1612689) (← links)
- Decidability of fluted logic with identity (Q1924331) (← links)
- Exploiting forwardness: satisfiability and query-entailment in forward guarded fragment (Q2055791) (← links)
- The fluted fragment with transitive relations (Q2238133) (← links)
- (Q5092376) (← links)
- The Fluted Fragment with Transitivity (Q5092377) (← links)
- (Q5101338) (← links)
- On Composing Finite Forests with Modal Logics (Q5886519) (← links)
- Are bundles good deals for first-order modal logic? (Q6116193) (← links)
- Craig interpolation for decidable first-order fragments (Q6629523) (← links)