Pages that link to "Item:Q4635661"
From MaRDI portal
The following pages link to Logics with counting and equivalence (Q4635661):
Displaying 12 items.
- Arrow logic and infinite counting (Q1582310) (← links)
- Equivalence in finite-variable logics is complete for polynomial time (Q1977423) (← links)
- The two‐variable fragment with counting and equivalence (Q3460527) (← links)
- Second-order logic on equivalence relations (Q3643314) (← links)
- On fixed-point logic with counting (Q4508261) (← links)
- On logical and concurrent equivalences (Q4917082) (← links)
- Modal Logics with Counting (Q4931593) (← links)
- Graphs Identified by Logics with Counting (Q5056356) (← links)
- Weighted model counting beyond two-variable logic (Q5145338) (← links)
- Two-variable First-Order Logic with Counting in Forests (Q5222957) (← links)
- A logical characterization of the counting hierarchy (Q5277825) (← links)
- Two-Variable First-Order Logic with Equivalence Closure (Q5892437) (← links)