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 13 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 finite linear intermediate predicate logics (Q1119624) (← links)
- Kripke completeness of some intermediate predicate logics with the axiom of constant domain and a variant of canonical formulas (Q1208113) (← links)
- Deciding logics of linear Kripke frames with scattered end pieces (Q1699745) (← links)
- A remark on propositional Kripke frames sound for intuitionistic logics (Q2904065) (← links)
- An extension of ono's completeness result (Q3032233) (← links)
- Incompleteness results in Kripke semantics (Q3984427) (← links)
- EPSILON THEOREMS IN INTERMEDIATE LOGICS (Q5082060) (← links)
- Separating intermediate predicate logics of well-founded and dually well-founded structures by monadic sentences (Q5262474) (← links)
- (Q5413352) (← links)
- A Tree-Sequent Calculus for a Natural Predicate Extension of Visser's Propositional Logic (Q5435200) (← links)
- A Note on Linear Kripke Models (Q5696304) (← links)