Recommendations
Cited in
(86)- Implicit Partiality of Signature Morphisms in Institution Theory
- A logical framework combining model and proof theory
- Explanatory relations in arbitrary logics based on satisfaction systems, cutting and retraction
- The future of logic: foundation-independence
- Generalised graded interpolation
- Stability of termination and sufficient-completeness under pushouts via amalgamation
- A Consistent Higher-Order Theory Without a (Higher-Order) Model
- Foundations for structuring behavioural specifications
- The institution-theoretic scope of logic theorems
- Omitting types theorem in hybrid dynamic first-order logic with rigid symbols
- Structural induction in institutions
- Belief revision, minimal change and relaxation: A general framework based on satisfaction systems, and applications to description logics
- Homotopical categories of logics
- A categorical study on the finiteness of specifications
- A 2-categorial generalization of the concept of institution
- scientific article; zbMATH DE number 1998330 (Why is no real title available?)
- CafeOBJ Traces
- Parchments for CafeOBJ logics
- Principles of proof scores in CafeOBJ
- Jewels of Institution-Independent Model Theory
- Universal logic: evolution of a project
- Morphism axioms
- Towards a functional approach to modular ontologies using institutions
- Hybrid specification of reactive systems: an institutional approach
- Towards logical frameworks in the heterogeneous tool set Hets
- Logical dual concepts based on mathematical morphology in stratified institutions: applications to spatial reasoning
- An institution-independent proof of the Robinson consistency theorem
- (Heterogeneous) structured specifications in logics without interpolation
- Term-Generic Logic
- Property-oriented semantics of structured specifications
- On the transformations of the square of opposition from the point of view of institution model theory
- A semantic approach to interpolation
- On quasi-varieties of multiple valued logic models
- Indexed and fibered structures for partial and total correctness assertions
- Coinduction for preordered algebra
- Composition-nominative logics as institutions
- On the existence of translations of structured specifications
- Partialising institutions
- Distilling the requirements of Gödel's incompleteness theorems with a proof assistant
- A formally verified abstract account of Gödel's incompleteness theorems
- Quasi-Boolean encodings and conditionals in algebraic specification
- Encoding hybridized institutions into first-order logic
- Integrating Maude into Hets
- 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
- Some general results about proof normalization
- What Is a Multi-modeling Language?
- Categorical foundations for structured specifications in \(\mathsf{Z}\)
- The foundational legacy of ASL
- Functorial semantics of first-order views
- scientific article; zbMATH DE number 7350772 (Why is no real title available?)
- Parameterisation for abstract structured specifications
- Preservation in many-valued truth institutions
- An axiomatic approach to structuring specifications
- On the algebra of structured specifications
- Birkhoff style calculi for hybrid logics
- Grothendieck inclusion systems
- What is a logic translation?
- Hybrid dynamic logic institutions for event/data-based systems
- Constructive reflectivity principles for regular theories
- 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
- Saturated models in institutions
- Conservative translations revisited
- 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
- Topological systems as a framework for institutions
- Interpolation for predefined types
- 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
- Forcing, downward Löwenheim-Skolem and omitting types theorems, institutionally
- Abstract categorical logic
- Universality of logic
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)
