Quantification in nonclassical logic. Volume I.
From MaRDI portal
Publication:731484
zbMath1211.03002MaRDI QIDQ731484
Dov M. Gabbay, Dimitrij 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
modal logiccompletenessmodel theorysoundnesssuperintuitionistic logicnonclassical first-order quantification
Modal logic (including the logic of norms) (03B45) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Intermediate logics (03B55)
Related Items (35)
The Invariance Modality ⋮ A Note on Disjunction and Existence Properties in Predicate Extensions of Intuitionistic Logic—An Application of Jankov Formulas to Predicate Logics ⋮ Positive Formulas in Intuitionistic and Minimal Logic ⋮ Undecidability of QLTL and QCTL with two variables and one monadic predicate letter ⋮ Complexity of finite-variable fragments of propositional temporal and modal logics of computation ⋮ EPSILON THEOREMS IN INTERMEDIATE LOGICS ⋮ QUANTIFIED MODAL LOGIC ON THE RATIONAL LINE ⋮ Quantification in some non-normal modal logics ⋮ NONCLASSICAL TRUTH WITH CLASSICAL STRENGTH. A PROOF-THEORETIC ANALYSIS OF COMPOSITIONAL TRUTH OVER HYPE ⋮ Partitioning Kripke frames of finite height ⋮ On Finite Domains Based Slices in the Structure of Superintuitionistic Predicate Logics, Preview ⋮ Categories for Dynamic Epistemic Logic ⋮ A Lindström theorem for intuitionistic first-order logic ⋮ A Decidable Fragment of First Order Modal Logic: Two Variable Term Modal Logic ⋮ Are bundles good deals for first-order modal logic? ⋮ Semiproducts, products, and modal predicate logics: some examples ⋮ A simple example of blocking the Craig trick ⋮ Cardinality reduction theorem for logics QHC and QH4 ⋮ Nested sequents for intermediate logics: the case of Gödel-Dummett logics ⋮ A negative solution to Ono's problem P52: existence and disjunction properties in intermediate predicate logics ⋮ Some Weak Variants of the Existence and Disjunction Properties in Intermediate Predicate Logics ⋮ Kripke sheaf completeness of some superintuitionistic predicate logics with a weakened constant domains principle ⋮ UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS ⋮ Logics of intuitionistic Kripke-Platek set theory ⋮ A semantic hierarchy for intuitionistic logic ⋮ The Skolemization of prenex formulas in intermediate logics ⋮ A canonical model for constant domain basic first-order logic ⋮ Disjunction and existence properties in inquisitive first-order logic ⋮ First-order modal logic: frame definability and a Lindström theorem ⋮ Neighborhood-Sheaf Semantics for First-Order Modal Logic ⋮ QUANTIFIED INTUITIONISTIC LOGIC OVER METRIZABLE SPACES ⋮ On the Blok-Esakia Theorem ⋮ On Kripke completeness of modal predicate logics around quantified \textbf{K5} ⋮ In the mood for S4: the expressive power of the subjunctive modal language in weak background logics ⋮ MONADIC INTUITIONISTIC AND MODAL LOGICS ADMITTING PROVABILITY INTERPRETATIONS
This page was built for publication: Quantification in nonclassical logic. Volume I.
