Pages that link to "Item:Q731484"

The following pages link to Quantification in nonclassical logic. Volume I. (Q731484):

Displaying 38 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)
• On non-deterministic quantification (Q2254562) (← 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)
• Cardinality reduction theorem for logics QHC and QH4 (Q6148010) (← links)
• Non-reflexive logics, non-individuals, and the philosophy of quantum mechanics. Essays in honour of the philosophy of Décio Krause (Q6534931) (← links)
• On the quantified version of the Belnap-Dunn modal logic (Q6582282) (← links)
• Quantified modal logics: one approach to rule (almost) them all! (Q6606836) (← links)
• An intuitionistically complete system of basic intuitionistic conditional logic (Q6623812) (← links)
• Combining first-order classical and intuitionistic logic (Q6659896) (← links)