Pages that link to "Item:Q3970346"
From MaRDI portal
The following pages link to Intermediate predicate logics determined by ordinals (Q3970346):
Displayed 4 items.
- Continuous Fraïssé conjecture (Q1013988) (← links)
- Computable Kripke models and intermediate logics (Q1271561) (← links)
- Deciding logics of linear Kripke frames with scattered end pieces (Q1699745) (← links)
- One-variable fragments of intermediate logics over linear frames (Q2672661) (← links)