Institution-independent model theory
From MaRDI portal
Publication:2469760
zbMATH Open1144.03001MaRDI QIDQ2469760FDOQ2469760
Authors: Răzvan Diaconescu 
Publication date: 7 February 2008
Published in: Studies in Universal Logic (Search for Journal in Brave)
Recommendations
interpolationcategoriesmodelsspecificationultraproductsdefinabilitylogic programminginstitutionspreservationaxiomatizabilitysaturated modelsGrothendieck institutionsinternal logic
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Abstract model theory (03C95) Categorical logic, topoi (03G30)
Cited In (86)
- A logical framework combining model and proof theory
- Explanatory relations in arbitrary logics based on satisfaction systems, cutting and retraction
- Generalised graded interpolation
- The future of logic: foundation-independence
- A Consistent Higher-Order Theory Without a (Higher-Order) Model
- The institution-theoretic scope of logic theorems
- Foundations for structuring behavioural specifications
- Belief revision, minimal change and relaxation: A general framework based on satisfaction systems, and applications to description logics
- Structural induction in institutions
- A categorical study on the finiteness of specifications
- Title not available (Why is that?)
- A 2-categorial generalization of the concept of institution
- Parchments for CafeOBJ logics
- Jewels of Institution-Independent Model Theory
- Principles of proof scores in CafeOBJ
- Universal logic: evolution of a project
- Towards a functional approach to modular ontologies using institutions
- Logical dual concepts based on mathematical morphology in stratified institutions: applications to spatial reasoning
- Towards logical frameworks in the heterogeneous tool set Hets
- An institution-independent proof of the Robinson consistency theorem
- On quasi-varieties of multiple valued logic models
- A semantic approach to interpolation
- Coinduction for preordered algebra
- Composition-nominative logics as institutions
- Encoding hybridized institutions into first-order logic
- Distilling the requirements of Gödel's incompleteness theorems with a proof assistant
- A formally verified abstract account of Gödel's incompleteness theorems
- On the existence of translations of structured specifications
- Integrating Maude into Hets
- Quasi-Boolean encodings and conditionals in algebraic specification
- Stratified institutions and elementary homomorphisms
- Soundness and completeness proofs by coinductive methods
- Elementary Diagrams in Institutions
- Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design
- Graded consequence: an institution theoretic study
- Translating Testing Theories for Concurrent Systems
- An encoding of partial algebras as total algebras
- What Is a Multi-modeling Language?
- Some general results about proof normalization
- Categorical foundations for structured specifications in \(\mathsf{Z}\)
- Functorial semantics of first-order views
- Parameterisation for abstract structured specifications
- An axiomatic approach to structuring specifications
- Birkhoff style calculi for hybrid logics
- On the algebra of structured specifications
- Grothendieck inclusion systems
- What is a logic translation?
- Hybrid dynamic logic institutions for event/data-based systems
- Saturated models in institutions
- An analysis of the logic of Riesz spaces with strong unit
- Categorical abstract algebraic logic: referential algebraic semantics
- Ultraproducts and possible worlds semantics in institutions
- The semantic view of theories and higher-order languages
- Interpolation for predefined types
- Topological systems as a framework for institutions
- Refinement in hybridised institutions
- Foundations of logic programming in hybrid logics with user-defined sharing
- Abstract Beth definability in institutions
- Heterogeneous Logical Environments for Distributed Specifications
- Complete model-based equivalence class testing for nondeterministic systems
- Comorphisms of structured institutions
- Implicit Partiality of Signature Morphisms in Institution Theory
- Stability of termination and sufficient-completeness under pushouts via amalgamation
- Omitting types theorem in hybrid dynamic first-order logic with rigid symbols
- Homotopical categories of logics
- CafeOBJ Traces
- Morphism axioms
- Hybrid specification of reactive systems: an institutional approach
- (Heterogeneous) structured specifications in logics without interpolation
- Property-oriented semantics of structured specifications
- Term-Generic Logic
- On the transformations of the square of opposition from the point of view of institution model theory
- Indexed and fibered structures for partial and total correctness assertions
- Partialising institutions
- The foundational legacy of ASL
- Preservation in many-valued truth institutions
- Title not available (Why is that?)
- Constructive reflectivity principles for regular theories
- Conservative translations revisited
- Introducing \(H\), an institution-based formal specification and verification language
- Institutions for SQL database schemas and datasets
- Term charters
- A Term-Graph Syntax for Algebras over Multisets
- Abstract categorical logic
- Forcing, downward Löwenheim-Skolem and omitting types theorems, institutionally
- Universality of logic
Uses Software
This page was built for publication: Institution-independent model theory
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2469760)
