Pages that link to "Item:Q3498453"
From MaRDI portal
The following pages link to Decidable Fragments of Many-Sorted Logic (Q3498453):
Displaying 4 items.
- Decidable fragments of many-sorted logic (Q1041587) (← links)
- Decidable \({\exists}^*{\forall}^*\) first-order fragments of linear rational arithmetic with uninterpreted predicates (Q2031420) (← links)
- Decidable Fragments of Many-Sorted Logic (Q3498453) (← links)
- Lattice logic as a fragment of (2-sorted) residuated modal logic (Q5379322) (← links)
