Pages that link to "Item:Q2307300"
From MaRDI portal
The following pages link to Complexity of the universal theory of modal algebras (Q2307300):
Displaying 4 items.
- Computational complexity for bounded distributive lattices with negation (Q2032990) (← links)
- Complexity of the universal theory of bounded residuated distributive lattice-ordered groupoids (Q2317378) (← links)
- Complexity of the universal theory of residuated ordered groupoids (Q6169326) (← links)
- On the finite model property of non-normal modal logics (Q6562546) (← links)
