Pages that link to "Item:Q2140479"
From MaRDI portal
The following pages link to First-order logic and its infinitary quantifier extensions over countable words (Q2140479):
Displaying 4 items.
- Fragments of first-order logic over infinite words (Q537914) (← links)
- (Q4035696) (← links)
- Theories of truth for countable languages which conform to classical logic (Q5148116) (← links)
- Algebraic characterizations and block product decompositions for first order logic and its infinitary quantifier extensions over countable words (Q6098157) (← links)