Pages that link to "Item:Q3360841"
From MaRDI portal
The following pages link to Axiomatization of the First‐Order Intermediate Logics of Bounded Kripkean Heights II (Q3360841):
Displaying 5 items.
- Kripke bundles for intermediate predicate logics and Kripke frames for intuitionistic modal logics (Q757342) (← links)
- On finite linear intermediate predicate logics (Q1119624) (← links)
- Directed frames (Q1264137) (← links)
- On the predicate logics of finite Kripke frames (Q1344873) (← links)
- Axiomatization of the First-Order Intermediate Logics of Bounded Kripkean Heights I (Q3809773) (← links)