Pages that link to "Item:Q2915891"
From MaRDI portal
The following pages link to Small substructures and decidability issues for first-order logic with two variables (Q2915891):
Displayed 4 items.
- Metric propositional neighborhood logic with an equivalence relation (Q329414) (← links)
- The fluted fragment with transitive relations (Q2238133) (← links)
- Propositional epistemic logics with quantification over agents of knowledge (an alternative approach) (Q2323640) (← links)
- Small substructures and decidability issues for first-order logic with two variables (Q2915891) (← links)