Quantification in nonclassical logic. Volume I.
zbMATH Open1211.03002MaRDI QIDQ731484FDOQ731484
Authors: Dov Gabbay, Dmitrij Skvortsov, Valentin Shehtman 
Publication date: 8 October 2009
Published in: Studies in Logic and the Foundations of Mathematics (Search for Journal in Brave)
Full work available at URL: http://www.sciencedirect.com/science/bookseries/0049237X
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
completenessmodal logicmodel theorysoundnesssuperintuitionistic logicnonclassical first-order quantification
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Modal logic (including the logic of norms) (03B45) Intermediate logics (03B55)
Cited In (45)
- 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
- 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
- The Skolemization of prenex formulas in intermediate logics
- A semantic hierarchy for intuitionistic logic
- 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
- EPSILON THEOREMS IN INTERMEDIATE LOGICS
- An introduction to non-classical logic. From if to is
- A canonical model for constant domain basic first-order logic
- Quantified modal logics: one approach to rule (almost) them all!
- Generalized Galois logics. Relational semantics of nonclassical logical calculi
- 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
- An intuitionistically complete system of basic intuitionistic conditional logic
- Some weak variants of the existence and disjunction properties in intermediate predicate logics
- First-order modal logic: frame definability and a Lindström theorem
- 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
- 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
- Disjunction and existence properties in inquisitive first-order logic
- The Invariance Modality
- Title not available (Why is that?)
- Quantified modal logic on the rational line
- Positive formulas in intuitionistic and minimal logic
- Semiproducts, products, and modal predicate logics: some examples
- Undecidability of QLTL and QCTL with two variables and one monadic predicate letter
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)
