The following pages link to (Q3309811):
Displaying 7 items.
- Kripke semantics and proof systems for combining intuitionistic logic and classical logic (Q690929) (← links)
- Kripke bundles for intermediate predicate logics and Kripke frames for intuitionistic modal logics (Q757342) (← links)
- An algebraic study of Peterson's intermediate syllogisms (Q894314) (← links)
- Applications of weak Kripke semantics to intermediate consequences (Q1097261) (← links)
- On some Kripke complete and Kripke incomplete intermediate predicate logics (Q1580656) (← links)
- (Q3707996) (← links)
- An extension of Jónsson‐Tarski representation and model existence in predicate non‐normal modal logics (Q6094145) (← links)