Pages that link to "Item:Q4338040"
From MaRDI portal
The following pages link to On the Decision Problem for Two-Variable First-Order Logic (Q4338040):
Displaying 18 items.
- Modal translation of substructural logics (Q5217248) (← links)
- On the Blok-Esakia Theorem (Q5255793) (← links)
- Modal Satisfiability via SMT Solving (Q5256336) (← links)
- Regular Graphs and the Spectra of Two-Variable Logic with Counting (Q5258916) (← links)
- Expressive Completeness of Separation Logic with Two Variables and No Separating Conjunction (Q5277913) (← links)
- Two-Variable Logic with Counting and Trees (Q5278191) (← links)
- Complexity of Two-Variable Logic on Finite Trees (Q5278193) (← links)
- Lattice logic as a fragment of (2-sorted) residuated modal logic (Q5379322) (← links)
- Using tableau to decide description logics with full role negation and identity (Q5410334) (← links)
- LOGICS FOR THE RELATIONAL SYLLOGISTIC (Q5850983) (← links)
- The Complexity of Decomposing Modal and First-Order Theories (Q5892176) (← links)
- Goals and benchmarks for automated map reasoning (Q5927984) (← links)
- A Decidable Fragment of First Order Modal Logic: Two Variable Term Modal Logic (Q6082225) (← links)
- Lifted inference with tree axioms (Q6088316) (← links)
- Semantically-guided goal-sensitive reasoning: decision procedures and the Koala prover (Q6156634) (← links)
- Lifted algorithms for symmetric weighted first-order model sampling (Q6566639) (← links)
- Two variable logic with ultimately periodic counting (Q6573777) (← links)
- On two-variable guarded fragment logic with expressive local Presburger constraints (Q6597967) (← links)
