Pages that link to "Item:Q817691"
From MaRDI portal
The following pages link to On the predicate logic of linear Kripke frames and some of its extensions (Q817691):
Displaying 3 items.
- Kripke sheaf completeness of some superintuitionistic predicate logics with a weakened constant domains principle (Q454383) (← links)
- Kripke completeness of some intermediate predicate logics with the axiom of constant domain and a variant of canonical formulas (Q1208113) (← links)
- EPSILON THEOREMS IN INTERMEDIATE LOGICS (Q5082060) (← links)
