Axioms for abstract model theory

Cited in

(64)

A Lindström theorem for intuitionistic first-order logic
INFINITARY PROPOSITIONAL RELEVANT LANGUAGES WITH ABSURDITY
A logical consequence informed by probability
MAXIMALITY OF LOGIC WITHOUT IDENTITY
Conservative translations revisited
Logical dual concepts based on mathematical morphology in stratified institutions: applications to spatial reasoning
Toward formal development of programs from algebraic specifications: model-theoretic foundations
Calculus with the quantifier of elementary equivalence
The old and the new logic of metascience
Interpolation, compactness and JEP in soft model theory
Model theoretic characterizations of large cardinals
A Lindström theorem in many-valued modal logic over a finite MTL-chain
The Härtig quantifier: a survey
General framework of structural similarity between system models
On orderings of the family of all logics
REDUCTION TECHNIQUES FOR PROVING DECIDABILITY IN LOGICS AND THEIR MEET–COMBINATION
Essential concepts of algebraic specification and program development
A Lindström theorem for intuitionistic propositional logic
On the semantics of the Henkin quantifier
An algebraic result about soft model theoretical equivalence relations with an application to H. Friedman's fourth problem
Homomorphisms from Functional Equations in Probability
The Craig interpolation theorem in abstract model theory
Inner models from extended logics. I
Duality Between Logics and Equivalence Relations
A note on extensions of infinitary logic
Logics of finite Hankel rank
Quantified modal logic: non-normal worlds and propositional attitudes
Toward formal development of programs from algebraic specifications: Implementations revisited
Interpolation Fails for the Souslin-Kleene Closure of the Open Set Quantifier Logic
An introduction to category-based equational logic
Global inductive definability
Ultraproducts and possible worlds semantics in institutions
Completeness and interpolation of almost-everywhere quantification over finitely additive measures
A shared framework for consequence operations and abstract model theory
Logic representation in LF
Specifications in an arbitrary institution
Category-based modularisation for equational logic programming
Ultraproduct Invariant Logics
LOGICALITY AND MODEL CLASSES
Abstract categorical logic
Probabilization of logics: completeness and decidability
Inverse topological systems and compactness in abstract model theory
On observational equivalence and algebraic specification
On complementedly normal lattices
On conceptual completeness of syntactic-semantical systems
Lindström theorems in graded model theory
Maximal Logics
Definability hierarchies of generalized quantifiers
A note on syntactical and semantical functions
Automatic synthesis of logical models for order-sorted first-order theories
Chain logic and Shelah's infinitary logic
An institution-independent proof of the Beth definability theorem
Positive results in abstract model theory: a theory of compact logics
A logical study of the correspondence relation
Logical operations and iterated infinitely deep languages
Belief revision, minimal change and relaxation: A general framework based on satisfaction systems, and applications to description logics
Extensions of countable infinitary logic which preserve most of its nice properties
The theorems of beth and Craig in abstract model theory II. Compact logics
Barwise: Abstract Model Theory and Generalized Quantifiers
The role of the Omitting Types Theorem in infinitary logic
On the existence of free models in abstract algebraic institutions
Relating CASL with other specification languages: the institution level.
On the universality of atomic and molecular logics via protologics
Quasi-varieties in abstract algebraic institutions

This page was built for publication: Axioms for abstract model theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4087162)