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