The following pages link to A Note on Linear Kripke Models (Q5696304):
Displayed 4 items.
- Gentzen calculi for the existence predicate (Q817698) (← links)
- The Skolemization of existential quantifiers in intuitionistic logic (Q2503404) (← links)
- One-variable fragments of intermediate logics over linear frames (Q2672661) (← links)
- A Hypersequent System for Gödel-Dummett Logic with Non-constant Domains (Q3010373) (← links)