Pages that link to "Item:Q650893"
From MaRDI portal
The following pages link to First-order satisfiability in Gödel logics: an NP-complete fragment (Q650893):
Displaying 6 items.
- The \(\exists\forall^2\) fragment of the first-order theory of atomic set constraints is \(\Pi_1^0\)-hard (Q1607043) (← links)
- Reasoning in fuzzy description logics using automata (Q1677933) (← links)
- One-variable fragments of intermediate logics over linear frames (Q2672661) (← links)
- SAT in Monadic Gödel Logics: A Borderline between Decidability and Undecidability (Q3638278) (← links)
- (Q4503908) (← links)
- A PSPACE-complete first-order fragment of computability logic (Q5410328) (← links)