Pages that link to "Item:Q3695253"

The following pages link to The unsolvability of the Gödel class with identity (Q3695253):

Displaying 9 items.

• The decision problem of modal product logics with a diagonal, and faulty counter machines (Q295920) (← links)
• Satisfiability of formulae with one \(\forall\) is decidable in exponential time (Q915716) (← links)
• Decidable fragments of many-sorted logic (Q1041587) (← links)
• Implication of clauses is undecidable (Q1110493) (← links)
• Thue trees (Q1861534) (← links)
• On the subtle nature of a simple logic of the hide and seek game (Q2148792) (← links)
• Small substructures and decidability issues for first-order logic with two variables (Q2915891) (← links)
• (Q5092374) (← links)
• A simple logic of the hide and seek game (Q6057624) (← links)