Institutions: abstract model theory for specification and programming
From MaRDI portal
Recommendations
Cited in
(only showing first 100 items - show all)- A semantic approach to interpolation
- HasCasl: integrated higher-order specification and program development
- On the algebraic structure of declarative programming languages
- On the existence of free models in abstract algebraic institutions
- Specifications in an arbitrary institution
- Algebraic translations, correctness and algebraic compiler construction
- Extra theory morphisms for institutions: Logical semantics for multi-paradigm languages
- From static to dynamic abstract data-types: An institution transformation
- A model of reasoning about knowledge
- OBSCURE, a specification language for abstract data types
- Structured theory presentations and logic representations
- Functorial theory of parameterized specifications in a general specification framework
- Essential concepts of algebraic specification and program development
- May I borrow your logic? (Transporting logical structures along maps)
- Institutions for logic programming
- A hidden agenda
- An abstract formalization of correct schemas for program synthesis
- A coalgebraic equational approach to specifying observational structures
- Logical foundations of CafeOBJ
- Topological systems as a framework for institutions
- Birkhoff style calculi for hybrid logics
- Building and integrating semantic theories over institutions
- Explanatory relations in arbitrary logics based on satisfaction systems, cutting and retraction
- Belief revision, minimal change and relaxation: A general framework based on satisfaction systems, and applications to description logics
- Amalgamation in the semantics of CASL
- Categorical abstract algebraic logic: categorical algebraization of first-order logic without terms
- A logic for the stepwise development of reactive systems
- CASL: the Common Algebraic Specification Language.
- Logical systems for structured specifications.
- Relating CASL with other specification languages: the institution level.
- Semantics of temporal classes
- A hidden Herbrand theorem: Combining the object and logic paradigms
- Observational logic, constructor-based logic, and their duality.
- Structured theories and institutions
- Interpolation in Grothendieck institutions
- Putting consistent theories together in institutions
- Institutions of variable truth values: An approach in the ordered style
- Category-based modularisation for equational logic programming
- Semantical investigations into nonmonotonic and probabilistic logics
- Principles of proof scores in CafeOBJ
- New dimensions on translations between logics
- What is a logic translation?
- Some general results about proof normalization
- Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design
- Twenty years of rewriting logic
- Formalism and method
- A navigational logic for reasoning about graph properties
- Towards a functional approach to modular ontologies using institutions
- Many-sorted hybrid modal languages
- Semantics of multiway dataflow constraint systems
- Distilling the requirements of Gödel's incompleteness theorems with a proof assistant
- The semantic view of theories and higher-order languages
- Hybrid dynamic logic institutions for event/data-based systems
- Normal forms of conditional knowledge bases respecting system P-entailments and signature renamings
- Generalised graded interpolation
- Omitting types theorem in hybrid dynamic first-order logic with rigid symbols
- Specification of systems with parameterised events: An institution-independent approach
- On the universality of atomic and molecular logics via protologics
- Introducing H, an institution-based formal specification and verification language
- Institutions for SQL database schemas and datasets
- Term charters
- Exploring the structure of an algebra text with locales
- Stability of termination and sufficient-completeness under pushouts via amalgamation
- Indexed and fibred structures for Hoare logic
- Institution-based encoding and verification of simple UML state machines in CASL/SPASS
- Structure-preserving diagram operators
- The institution-theoretic scope of logic theorems
- Forcing, downward Löwenheim-Skolem and omitting types theorems, institutionally
- Programming and symbolic computation in Maude
- A formally verified abstract account of Gödel's incompleteness theorems
- Query inseparability for \(\mathcal{ALC}\) ontologies
- Formalization of universal algebra in Agda
- Hierarchical hybrid logic
- Categorical abstract algebraic logic: truth-equational \(\pi\)-institutions
- Refinement in hybridised institutions
- Foundations of logic programming in hybrid logics with user-defined sharing
- Automating change of representation for proofs in discrete mathematics (extended version)
- CSP-CASL -- a new integration of process algebra and algebraic specification
- Quantifier-free logic for nondeterministic theories
- Constructor-based observational logic
- An institution of modal logics for coalgebras
- Development graphs -- proof management for structured specifications
- Algebraic-coalgebraic specification in CoCASL
- Ultraproducts and possible worlds semantics in institutions
- Stratified institutions and elementary homomorphisms
- Herbrand theorems in arbitrary institutions
- Morphism axioms
- Comorphisms of structured institutions
- Piecewise initial algebra semantics
- Equational formulas and pattern operations in initial order-sorted algebras
- The future of logic: foundation-independence
- Structures for abstract rewriting
- Categorical abstract algebraic logic: prealgebraicity and protoalgebraicity
- Hennessy-Milner properties via topological compactness
- Integrating observational and computational features in the specification of state-based, dynamical systems
- Yoneda philosophy in engineering
- scientific article; zbMATH DE number 1696910 (Why is no real title available?)
- Fuzzy terms
- Towards heterogeneous specifications
- Model-driven engineering in the heterogeneous tool set
This page was built for publication: Institutions: abstract model theory for specification and programming
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4302820)
