Pages that link to "Item:Q731484"
From MaRDI portal
The following pages link to Quantification in nonclassical logic. Volume I. (Q731484):
Displayed 15 items.
- Kripke sheaf completeness of some superintuitionistic predicate logics with a weakened constant domains principle (Q454383) (← links)
- Quantification in some non-normal modal logics (Q1685158) (← links)
- A semantic hierarchy for intuitionistic logic (Q1740610) (← links)
- The Skolemization of prenex formulas in intermediate logics (Q1740611) (← links)
- First-order modal logic: frame definability and a Lindström theorem (Q1790599) (← links)
- Disjunction and existence properties in inquisitive first-order logic (Q2278839) (← links)
- In the mood for S4: the expressive power of the subjunctive modal language in weak background logics (Q2352453) (← links)
- Neighborhood-Sheaf Semantics for First-Order Modal Logic (Q2825413) (← links)
- QUANTIFIED MODAL LOGIC ON THE RATIONAL LINE (Q2940883) (← links)
- Positive Formulas in Intuitionistic and Minimal Logic (Q3455187) (← links)
- Some Weak Variants of the Existence and Disjunction Properties in Intermediate Predicate Logics (Q4608557) (← links)
- QUANTIFIED INTUITIONISTIC LOGIC OVER METRIZABLE SPACES (Q5241228) (← links)
- On the Blok-Esakia Theorem (Q5255793) (← links)
- Partitioning Kripke frames of finite height (Q5349257) (← links)
- UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS (Q5381031) (← links)