Pages that link to "Item:Q2469760"
From MaRDI portal
The following pages link to Institution-independent model theory (Q2469760):
Displaying 50 items.
- The future of logic: foundation-independence (Q263104) (← links)
- Functorial semantics of first-order views (Q344796) (← links)
- Categorical abstract algebraic logic: referential algebraic semantics (Q368473) (← links)
- Parameterisation for abstract structured specifications (Q387996) (← links)
- Foundations for structuring behavioural specifications (Q406465) (← links)
- An axiomatic approach to structuring specifications (Q428861) (← links)
- On the existence of translations of structured specifications (Q458375) (← links)
- Complete model-based equivalence class testing for nondeterministic systems (Q520246) (← links)
- On the algebra of structured specifications (Q549182) (← links)
- Coinduction for preordered algebra (Q627121) (← links)
- Grothendieck inclusion systems (Q657588) (← links)
- Structural induction in institutions (Q719243) (← links)
- Quasi-Boolean encodings and conditionals in algebraic specification (Q844886) (← links)
- An institution-independent proof of the Robinson consistency theorem (Q878156) (← links)
- Graded consequence: an institution theoretic study (Q894661) (← links)
- Categorical foundations for structured specifications in \(\mathsf{Z}\) (Q903494) (← links)
- A categorical study on the finiteness of specifications (Q975404) (← links)
- An encoding of partial algebras as total algebras (Q990084) (← links)
- Saturated models in institutions (Q992038) (← links)
- A 2-categorial generalization of the concept of institution (Q993499) (← links)
- A semantic approach to interpolation (Q1006639) (← links)
- Universal logic: evolution of a project (Q1653546) (← links)
- Composition-nominative logics as institutions (Q1653557) (← links)
- Topological systems as a framework for institutions (Q1677937) (← links)
- Birkhoff style calculi for hybrid logics (Q1682285) (← links)
- An analysis of the logic of Riesz spaces with strong unit (Q1693040) (← links)
- Explanatory relations in arbitrary logics based on satisfaction systems, cutting and retraction (Q1726251) (← links)
- Belief revision, minimal change and relaxation: A general framework based on satisfaction systems, and applications to description logics (Q1748473) (← links)
- Principles of proof scores in CafeOBJ (Q1929233) (← links)
- What is a logic translation? (Q1931306) (← links)
- Some general results about proof normalization (Q1931341) (← links)
- Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design (Q1931353) (← links)
- Towards a functional approach to modular ontologies using institutions (Q2016068) (← links)
- Distilling the requirements of Gödel's incompleteness theorems with a proof assistant (Q2051568) (← links)
- The semantic view of theories and higher-order languages (Q2052159) (← links)
- Hybrid dynamic logic institutions for event/data-based systems (Q2065557) (← links)
- Generalised graded interpolation (Q2105608) (← links)
- Omitting types theorem in hybrid dynamic first-order logic with rigid symbols (Q2111114) (← links)
- Introducing \(H\), an institution-based formal specification and verification language (Q2183716) (← links)
- Institutions for SQL database schemas and datasets (Q2185885) (← links)
- Term charters (Q2185890) (← links)
- Stability of termination and sufficient-completeness under pushouts via amalgamation (Q2215962) (← links)
- The institution-theoretic scope of logic theorems (Q2254570) (← links)
- Forcing, downward Löwenheim-Skolem and omitting types theorems, institutionally (Q2254574) (← links)
- A formally verified abstract account of Gödel's incompleteness theorems (Q2305432) (← links)
- Refinement in hybridised institutions (Q2355385) (← links)
- Foundations of logic programming in hybrid logics with user-defined sharing (Q2358621) (← links)
- Soundness and completeness proofs by coinductive methods (Q2362498) (← links)
- Morphism axioms (Q2402279) (← links)
- Comorphisms of structured institutions (Q2445331) (← links)
