Pages that link to "Item:Q1119624"
From MaRDI portal
The following pages link to On finite linear intermediate predicate logics (Q1119624):
Displaying 6 items.
- Kripke bundles for intermediate predicate logics and Kripke frames for intuitionistic modal logics (Q757342) (← links)
- On the predicate logic of linear Kripke frames and some of its extensions (Q817691) (← links)
- Completeness theorem for Dummett's LC quantified and some of its extensions (Q1207344) (← links)
- Kripke completeness of some intermediate predicate logics with the axiom of constant domain and a variant of canonical formulas (Q1208113) (← links)
- On the predicate logics of finite Kripke frames (Q1344873) (← links)
- (Q4896535) (← links)
