Pages that link to "Item:Q2307300"
From MaRDI portal
The following pages link to Complexity of the universal theory of modal algebras (Q2307300):
Displaying 11 items.
- Partial algebras and complexity of satisfiability and universal theory for distributive lattices, Boolean algebras and Heyting algebras (Q391322) (← links)
- Categoricity spectra for polymodal algebras (Q514501) (← links)
- The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem (Q636264) (← links)
- Existence of optimal ultrafilters and the fundamental complexity of simple theories (Q908076) (← links)
- Computational complexity for bounded distributive lattices with negation (Q2032990) (← links)
- Complexity of the universal theory of bounded residuated distributive lattice-ordered groupoids (Q2317378) (← links)
- (Q4526735) (← links)
- Computer Science Logic (Q5292653) (← links)
- The Complexity of Decomposing Modal and First-Order Theories (Q5892176) (← links)
- Complexity of the universal theory of residuated ordered groupoids (Q6169326) (← links)
- On the finite model property of non-normal modal logics (Q6562546) (← links)