The following pages link to Varieties of logical matrices (Q1821771):
Displayed 7 items.
- Undecidable properties of extensions of the logic of provability (Q757339) (← links)
- Powerful types in small theories (Q757349) (← links)
- Undecidable properties of extensions of provability logic. II (Q805607) (← links)
- Normality of Horn theories with a nonmaximal spectrum (Q1086227) (← links)
- The number of the models of complete Horn theories of finite depth (Q1099167) (← links)
- Modal companions of intermediate propositional logics (Q1194106) (← links)
- The number of models for theories of everywhere finitely defined polygonometries (Q1963402) (← links)