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 11 items.
- Kripke sheaf completeness of some superintuitionistic predicate logics with a weakened constant domains principle (Q454383) (← links)
- Maximal Kripke-type semantics for modal and superintuitionistic predicate logics (Q688796) (← links)
- On the predicate logic of linear Kripke frames and some of its extensions (Q817691) (← links)
- On the predicate logics of finite Kripke frames (Q1344873) (← links)
- On a fragment of intuitionistic logic which is complete with respect to the Kripke frames with finite domains (Q1577172) (← links)
- On some Kripke complete and Kripke incomplete intermediate predicate logics (Q1580656) (← links)
- An extension of ono's completeness result (Q3032233) (← links)
- A Note on a Subsystem Of Intuitionistic Logic with Constant Domains (Q3787971) (← links)
- Canonical formulas for K4. Part II: Cofinal subframe logics (Q4894720) (← links)
- A remark on the superintuitionistic predicate logic of Kripke frames of finite height with constant domains: a simpler Kripke complete logic that is not strongly complete (Q5224588) (← links)
- The superintuitionistic predicate logic of finite Kripke frames is not recursively axiomatizable (Q5718669) (← links)
