Pages that link to "Item:Q1041587"
From MaRDI portal
The following pages link to Decidable fragments of many-sorted logic (Q1041587):
Displaying 14 items.
- An instantiation scheme for satisfiability modulo theories (Q438578) (← links)
- A decidable two-sorted quantified fragment of set theory with ordered pairs and some undecidable extensions (Q477206) (← links)
- A decidable and expressive fragment of Many-Sorted first-order linear temporal logic (Q821564) (← links)
- Space-efficient fragments of higher-order fixpoint logic (Q1685775) (← links)
- Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals (Q1740653) (← links)
- Modular instantiation schemes (Q1944184) (← links)
- Decidable \({\exists}^*{\forall}^*\) first-order fragments of linear rational arithmetic with uninterpreted predicates (Q2031420) (← links)
- SGGS decision procedures (Q2096457) (← links)
- Decidability properties for fragments of CHR (Q3585171) (← links)
- Combinations of Theories for Decidable Fragments of First-Order Logic (Q3655205) (← links)
- (Q4503908) (← links)
- (Q4986517) (← links)
- Decidable fragments of field theories (Q5202171) (← links)
- Semantically-guided goal-sensitive reasoning: decision procedures and the Koala prover (Q6156634) (← links)
