On Extensions of Elementary Logic
From MaRDI portal
Publication:5606559
DOI10.1111/j.1755-2567.1969.tb00356.xzbMath0206.27202OpenAlexW2149736013WikidataQ30051178 ScholiaQ30051178MaRDI QIDQ5606559
Publication date: 1969
Published in: Theoria (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1111/j.1755-2567.1969.tb00356.x
Related Items
On representations of intended structures in foundational theories, On orderings of the family of all logics, LOGICALITY AND MODEL CLASSES, Accelerating tableaux proofs using compact representations, From IF to BI. A tale of dependence and separation, Generalized quantifiers and pebble games on finite structures, Bi-simulating in bi-intuitionistic logic, Maximal Logics, Paraconsistent metatheory: new proofs with old tools, A note on syntactical and semantical functions, A general Lindström theorem for some normal modal logics, Algorithmic uses of the Feferman-Vaught theorem, Two applications of topology to model theory, Generalized compactness of nonmonotonic inference operations, A Lindström theorem for intuitionistic propositional logic, First order data types and first order logic, An Extension of the Ehrenfeucht-Fraïssé Game for First Order Logics Augmented with Lindström Quantifiers, Logics of Finite Hankel Rank, Games and Lindström theorems, Abstract categorical logic, A Lindström theorem for intuitionistic first-order logic, Preservation in many-valued truth institutions, Knowledge representation, the world wide web, and the evolution of logic, MAXIMALITY OF LOGIC WITHOUT IDENTITY, Positive logics, Omitting uncountable types and the strength of \([0,1\)-valued logics], A Lindström theorem in many-valued modal logic over a finite MTL-chain, Lindström theorems in graded model theory, Duality Between Logics and Equivalence Relations, Inner models from extended logics: Part 1, Propositional team logics, Definability and automorphisms in abstract logics, A note on extensions of infinitary logic, Interpolation and definability in abstract logics, First-order modal logic: frame definability and a Lindström theorem, The old and the new logic of metascience, Compact and ϖ-compact formulas in 51-151-151-1, The many faces of interpolation, Harmonious logic: Craig's interpolation theorem and its descendants, The Craig interpolation theorem in abstract model theory, ON LÖWENHEIM–SKOLEM–TARSKI NUMBERS FOR EXTENSIONS OF FIRST ORDER LOGIC, Chain logic and Shelah's infinitary logic, Definability hierarchies of generalized quantifiers, Generalized Quantifiers and Compact Logic, Extensions of countable infinitary logic which preserve most of its nice properties, A logic-based approach to incremental reasoning on multi-agent systems, Carnap's work in the foundations of logic and mathematics in a historical perspective, On compactness of logics that can express properties of symmetry or connectivity
