Pages that link to "Item:Q2915891"

The following pages link to Small substructures and decidability issues for first-order logic with two variables (Q2915891):

Displaying 7 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)
• The Fluted Fragment with Transitivity (Q5092377) (← links)
• (Q5094127) (← links)
• Epistemic logics with quantification over epistemic operators: decidability and expressiveness (Q6054107) (← links)