Pages that link to "Item:Q731484"
From MaRDI portal
The following pages link to Quantification in nonclassical logic. Volume I. (Q731484):
Displayed 35 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)
- A canonical model for constant domain basic first-order logic (Q2027216) (← links)
- On Kripke completeness of modal predicate logics around quantified \textbf{K5} (Q2105091) (← links)
- Complexity of finite-variable fragments of propositional temporal and modal logics of computation (Q2148903) (← links)
- Logics of intuitionistic Kripke-Platek set theory (Q2231694) (← 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)
- Categories for Dynamic Epistemic Logic (Q3384079) (← 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)
- Undecidability of QLTL and QCTL with two variables and one monadic predicate letter (Q5059700) (← links)
- EPSILON THEOREMS IN INTERMEDIATE LOGICS (Q5082060) (← 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)
- MONADIC INTUITIONISTIC AND MODAL LOGICS ADMITTING PROVABILITY INTERPRETATIONS (Q5879191) (← links)
- The Invariance Modality (Q5886459) (← links)
- A Note on Disjunction and Existence Properties in Predicate Extensions of Intuitionistic Logic—An Application of Jankov Formulas to Predicate Logics (Q5886462) (← links)
- NONCLASSICAL TRUTH WITH CLASSICAL STRENGTH. A PROOF-THEORETIC ANALYSIS OF COMPOSITIONAL TRUTH OVER HYPE (Q6041345) (← links)
- On Finite Domains Based Slices in the Structure of Superintuitionistic Predicate Logics, Preview (Q6051797) (← links)
- A Lindström theorem for intuitionistic first-order logic (Q6076364) (← links)
- A Decidable Fragment of First Order Modal Logic: Two Variable Term Modal Logic (Q6082225) (← links)
- Are bundles good deals for first-order modal logic? (Q6116193) (← links)
- Semiproducts, products, and modal predicate logics: some examples (Q6123100) (← links)
- A simple example of blocking the Craig trick (Q6143287) (← links)
- Cardinality reduction theorem for logics QHC and QH4 (Q6148010) (← links)
- Nested sequents for intermediate logics: the case of Gödel-Dummett logics (Q6172067) (← links)
- A negative solution to Ono's problem P52: existence and disjunction properties in intermediate predicate logics (Q6201547) (← links)