Quantification in nonclassical logic. Volume I.
From MaRDI portal
Recommendations
- An introduction to non-classical logic
- An introduction to non-classical logic. From if to is
- scientific article; zbMATH DE number 795162
- An introduction to non-classical logic. Transl. from the English and edited by Stephan Cursiefen and Tanja Osswald. With the collaboration of Miriam Ossa
- scientific article; zbMATH DE number 732978
Cited in
(45)- Undecidability of QLTL and QCTL with two variables and one monadic predicate letter
- On Kripke completeness of modal predicate logics around quantified \textbf{K5}
- Combining first-order classical and intuitionistic logic
- A simple example of blocking the Craig trick
- The Skolemization of prenex formulas in intermediate logics
- A semantic hierarchy for intuitionistic logic
- A Lindström theorem for intuitionistic first-order logic
- Nested sequents for intermediate logics: the case of Gödel-Dummett logics
- MONADIC INTUITIONISTIC AND MODAL LOGICS ADMITTING PROVABILITY INTERPRETATIONS
- Cardinality reduction theorem for logics QHC and QH4
- On the quantified version of the Belnap-Dunn modal logic
- NONCLASSICAL TRUTH WITH CLASSICAL STRENGTH. A PROOF-THEORETIC ANALYSIS OF COMPOSITIONAL TRUTH OVER HYPE
- UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS
- On Finite Domains Based Slices in the Structure of Superintuitionistic Predicate Logics, Preview
- A Note on Disjunction and Existence Properties in Predicate Extensions of Intuitionistic Logic—An Application of Jankov Formulas to Predicate Logics
- A canonical model for constant domain basic first-order logic
- An introduction to non-classical logic. From if to is
- EPSILON THEOREMS IN INTERMEDIATE LOGICS
- Generalized Galois logics. Relational semantics of nonclassical logical calculi
- Quantified modal logics: one approach to rule (almost) them all!
- Logics of intuitionistic Kripke-Platek set theory
- On non-deterministic quantification
- Kripke sheaf completeness of some superintuitionistic predicate logics with a weakened constant domains principle
- Categories for dynamic epistemic logic
- First-order modal logic: frame definability and a Lindström theorem
- Some weak variants of the existence and disjunction properties in intermediate predicate logics
- An intuitionistically complete system of basic intuitionistic conditional logic
- On the Blok-Esakia theorem
- A Decidable Fragment of First Order Modal Logic: Two Variable Term Modal Logic
- Are bundles good deals for first-order modal logic?
- Neighborhood-sheaf semantics for first-order modal logic
- A negative solution to Ono's problem P52: existence and disjunction properties in intermediate predicate logics
- Quantification in some non-normal modal logics
- In the mood for S4: the expressive power of the subjunctive modal language in weak background logics
- Complexity of finite-variable fragments of propositional temporal and modal logics of computation
- Partitioning Kripke frames of finite height
- Quantified intuitionistic logic over metrizable spaces
- Disjunction and existence properties in inquisitive first-order logic
- Non-reflexive logics, non-individuals, and the philosophy of quantum mechanics. Essays in honour of the philosophy of Décio Krause
- On modalities and quantifiers
- The Invariance Modality
- scientific article; zbMATH DE number 795162 (Why is no real title available?)
- Quantified modal logic on the rational line
- Positive formulas in intuitionistic and minimal logic
- Semiproducts, products, and modal predicate logics: some examples
This page was built for publication: Quantification in nonclassical logic. Volume I.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q731484)
