Pages that link to "Item:Q4931588"
From MaRDI portal
The following pages link to The Two-Variable Fragment with Counting Revisited (Q4931588):
Displayed 4 items.
- Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations (Q2304538) (← links)
- On the complexity of team logic and its two-variable fragment (Q5005127) (← links)
- Two-Variable Logic with Counting and Trees (Q5278191) (← links)
- A Note on C² Interpreted over Finite Data-Words (Q6060103) (← links)