Pages that link to "Item:Q1344873"
From MaRDI portal
The following pages link to On the predicate logics of finite Kripke frames (Q1344873):
Displaying 15 items.
- Kripke sheaf completeness of some superintuitionistic predicate logics with a weakened constant domains principle (Q454383) (← links)
- 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)
- About finite predicate logic (Q1088979) (← links)
- On finite linear intermediate predicate logics (Q1119624) (← links)
- On intermediate predicate logics of some finite Kripke frames. I: Levelwise uniform trees (Q1770592) (← links)
- A remark on propositional Kripke frames sound for intuitionistic logics (Q2904065) (← links)
- Quantifier Elimination for Quantified Propositional Logics on Kripke Frames of Type (Q3520241) (← links)
- Axiomatization of the First-Order Intermediate Logics of Bounded Kripkean Heights I (Q3809773) (← links)
- Prefinitely axiomatizable modal and intermediate logics (Q4304115) (← links)
- Some results on Kripke models over an arbitrary fixed frame (Q4434503) (← links)
- (Q5144695) (← links)
- Separating intermediate predicate logics of well-founded and dually well-founded structures by monadic sentences (Q5262474) (← links)
- (Q5413352) (← links)
- The superintuitionistic predicate logic of finite Kripke frames is not recursively axiomatizable (Q5718669) (← links)