Axioms for abstract model theory

Cited in

(64)

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

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)