The following pages link to (Q3707996):
Displaying 3 items.
- Kripke bundles for intermediate predicate logics and Kripke frames for intuitionistic modal logics (Q757342) (← links)
- Applications of weak Kripke semantics to intermediate consequences (Q1097261) (← links)
- On some Kripke complete and Kripke incomplete intermediate predicate logics (Q1580656) (← links)