Pages that link to "Item:Q3695253"
From MaRDI portal
The following pages link to The unsolvability of the Gödel class with identity (Q3695253):
Displayed 13 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)
- Decidable Fragments of Many-Sorted Logic (Q3498453) (← links)
- On the Decision Problem for Two-Variable First-Order Logic (Q4338040) (← links)
- Decidability of cylindric set algebras of dimension two and first-order logic with two variables (Q4948527) (← links)
- (Q5092374) (← links)
- Combining enumeration and deductive techniques in order to increase the class of constructible infinite models (Q5927982) (← links)
- A simple logic of the hide and seek game (Q6057624) (← links)