The following pages link to Modal reduction principles (Q4103507):
Displayed 6 items.
- Modal languages and bounded fragments of predicate logic (Q1267082) (← links)
- Algebraic modal correspondence: Sahlqvist and beyond (Q2401020) (← links)
- The Modal Formula (†) $\square \diamondsuit p \supset \square \diamondsuit \square \diamondsuit p$ Is Not First-Order Definable (Q3623840) (← links)
- 1996–1997 Winter Meeting of the Association for Symbolic Logic (Q4372926) (← links)
- (Q4625704) (← links)
- Interpolation and preservation in \({\mathcal{ML}}_{\omega_1}\) (Q5937814) (← links)