The following pages link to Axioms for abstract model theory (Q4087162):
Displaying 50 items.
- Quantified modal logic: non-normal worlds and propositional attitudes (Q787129) (← links)
- Calculus with the quantifier of elementary equivalence (Q791519) (← links)
- Positive results in abstract model theory: a theory of compact logics (Q796519) (← links)
- A logical study of the correspondence relation (Q797569) (← links)
- On conceptual completeness of syntactic-semantical systems (Q798654) (← links)
- Logical operations and iterated infinitely deep languages (Q799666) (← links)
- An institution-independent proof of the Beth definability theorem (Q995670) (← links)
- The Craig interpolation theorem in abstract model theory (Q1024119) (← links)
- On the existence of free models in abstract algebraic institutions (Q1085969) (← links)
- On observational equivalence and algebraic specification (Q1089796) (← links)
- Toward formal development of programs from algebraic specifications: Implementations revisited (Q1090100) (← links)
- Quasi-varieties in abstract algebraic institutions (Q1091132) (← links)
- A note on syntactical and semantical functions (Q1107520) (← links)
- Specifications in an arbitrary institution (Q1108775) (← links)
- On complementedly normal lattices (Q1159228) (← links)
- The old and the new logic of metascience (Q1252849) (← links)
- Essential concepts of algebraic specification and program development (Q1377322) (← links)
- Automatic synthesis of logical models for order-sorted first-order theories (Q1655487) (← links)
- Belief revision, minimal change and relaxation: A general framework based on satisfaction systems, and applications to description logics (Q1748473) (← links)
- A note on extensions of infinitary logic (Q1765098) (← links)
- Definability hierarchies of generalized quantifiers (Q1824614) (← links)
- Relating CASL with other specification languages: the institution level. (Q1853458) (← links)
- Category-based modularisation for equational logic programming (Q1901708) (← links)
- Chain logic and Shelah's infinitary logic (Q2066130) (← links)
- On the universality of atomic and molecular logics via protologics (Q2169136) (← links)
- A Lindström theorem for intuitionistic propositional logic (Q2176405) (← links)
- Model theoretic characterizations of large cardinals (Q2182021) (← links)
- A Lindström theorem in many-valued modal logic over a finite MTL-chain (Q2219166) (← links)
- Lindström theorems in graded model theory (Q2220488) (← links)
- Probabilization of logics: completeness and decidability (Q2254552) (← links)
- Ultraproducts and possible worlds semantics in institutions (Q2373712) (← links)
- A shared framework for consequence operations and abstract model theory (Q2392009) (← links)
- Completeness and interpolation of almost-everywhere quantification over finitely additive measures (Q2856634) (← links)
- Logics of Finite Hankel Rank (Q2947177) (← links)
- Maximal Logics (Q3050405) (← links)
- On the semantics of the Henkin quantifier (Q3208639) (← links)
- General framework of structural similarity between system models (Q3356149) (← links)
- Inverse topological systems and compactness in abstract model theory (Q3767332) (← links)
- Ultraproduct Invariant Logics (Q3875915) (← links)
- Interpolation Fails for the Souslin-Kleene Closure of the Open Set Quantifier Logic (Q3898483) (← links)
- An algebraic result about soft model theoretical equivalence relations with an application to H. Friedman's fourth problem (Q3916560) (← links)
- The role of the Omitting Types Theorem in infinitary logic (Q3919693) (← links)
- The theorems of beth and Craig in abstract model theory II. Compact logics (Q3926560) (← links)
- Extensions of countable infinitary logic which preserve most of its nice properties (Q3927221) (← links)
- Interpolation, compactness and JEP in soft model theory (Q3958441) (← links)
- Duality Between Logics and Equivalence Relations (Q3960670) (← links)
- On orderings of the family of all logics (Q3964545) (← links)
- The Härtig quantifier: a survey (Q3984397) (← links)
- Global inductive definability (Q4177549) (← links)
- INFINITARY PROPOSITIONAL RELEVANT LANGUAGES WITH ABSURDITY (Q4600823) (← links)
