Pages that link to "Item:Q757342"
From MaRDI portal
The following pages link to Kripke bundles for intermediate predicate logics and Kripke frames for intuitionistic modal logics (Q757342):
Displaying 5 items.
- Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics (Q1208117) (← links)
- A uniform tableau method for intuitionistic modal logics. I (Q1317899) (← links)
- One-variable fragments of intermediate logics over linear frames (Q2672661) (← links)
- Fibred semantics and the weaving of logics. Part 1: Modal and intuitionistic logics (Q3128464) (← links)
- One-variable fragments of first-order logics (Q6636687) (← links)
