Pages that link to "Item:Q4894729"
From MaRDI portal
The following pages link to Fluted formulas and the limits of decidability (Q4894729):
Displaying 6 items.
- Axiomatizing the monodic fragment of first-order temporal logic (Q1849866) (← links)
- Decidability of fluted logic with identity (Q1924331) (← links)
- The fluted fragment with transitive relations (Q2238133) (← links)
- The Fluted Fragment with Transitivity (Q5092377) (← links)
- THE FLUTED FRAGMENT REVISITED (Q5195057) (← links)
- Craig interpolation for decidable first-order fragments (Q6629523) (← links)