Pages that link to "Item:Q1770592"
From MaRDI portal
The following pages link to On intermediate predicate logics of some finite Kripke frames. I: Levelwise uniform trees (Q1770592):
Displaying 9 items.
- Kripke sheaf completeness of some superintuitionistic predicate logics with a weakened constant domains principle (Q454383) (← links)
- A first order nonmonotonic extension of constructive logic (Q813086) (← links)
- Frame based formulas for intermediate logics (Q1005954) (← links)
- On finite linear intermediate predicate logics (Q1119624) (← links)
- On the predicate logics of finite Kripke frames (Q1344873) (← links)
- Axiomatization of the First‐Order Intermediate Logics of Bounded Kripkean Heights II (Q3360841) (← links)
- Axiomatization of the First-Order Intermediate Logics of Bounded Kripkean Heights I (Q3809773) (← links)
- Finite and finitely separable intermediate propositional logics (Q3830978) (← links)
- Separating intermediate predicate logics of well-founded and dually well-founded structures by monadic sentences (Q5262474) (← links)