Pages that link to "Item:Q5293202"
From MaRDI portal
The following pages link to Kripke submodels and universal sentences (Q5293202):
Displayed 4 items.
- Homomorphisms and chains of Kripke models (Q535159) (← links)
- Preservation theorems for Kripke models (Q3619870) (← links)
- 2009 North American Annual Meeting of the Association for Symbolic Logic (Q3655269) (← links)
- 2009 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '09 (Q5305554) (← links)