Pages that link to "Item:Q3498453"

The following pages link to Decidable Fragments of Many-Sorted Logic (Q3498453):

Displaying 11 items.

• A decidable two-sorted quantified fragment of set theory with ordered pairs and some undecidable extensions (Q477206) (← links)
• Decidable fragments of many-sorted logic (Q1041587) (← links)
• Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals (Q1740653) (← links)
• Decidable \({\exists}^*{\forall}^*\) first-order fragments of linear rational arithmetic with uninterpreted predicates (Q2031420) (← links)
• Decidable Fragments of Many-Sorted Logic (Q3498453) (← 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)
• Lattice logic as a fragment of (2-sorted) residuated modal logic (Q5379322) (← links)