Pages that link to "Item:Q1208113"
From MaRDI portal
The following pages link to Kripke completeness of some intermediate predicate logics with the axiom of constant domain and a variant of canonical formulas (Q1208113):
Displaying 4 items.
- Kripke sheaf completeness of some superintuitionistic predicate logics with a weakened constant domains principle (Q454383) (← links)
- On the predicate logics of finite Kripke frames (Q1344873) (← links)
- Canonical formulas for K4. Part II: Cofinal subframe logics (Q4894720) (← links)
- The superintuitionistic predicate logic of finite Kripke frames is not recursively axiomatizable (Q5718669) (← links)
