Hybridization of institutions

DOI10.1007/978-3-642-22944-2_20MaRDI QIDQ3090875zbMATH OpenOpenAlexFDO

Authors Manuel A. Martins, Răzvan Diaconescu, Alexandre Madeira, L. S. Barbosa

Publication date 2 September 2011

Published in Algebra and Coalgebra in Computer Science (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/1822/15256

zbMATH Keywords

formal specificationhybrid logicinstitution theory

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Categorical logic, topoi (03G30) Abstract data types; algebraic specification (68Q65)

Recommendations

• Encoding hybridized institutions into first-order logic
• Refinement in hybridised institutions
• Hybrid specification of reactive systems: an institutional approach
• Completeness and decidability results for hybrid(ised) logics
• Quasi-varieties and initial semantics for hybridized institutions

Cited in

(27)

• Birkhoff style calculi for hybrid logics
• Hybrid dynamic logic institutions for event/data-based systems
• Omitting types theorem in hybrid dynamic first-order logic with rigid symbols
• Specification of systems with parameterised events: An institution-independent approach
• Introducing H, an institution-based formal specification and verification language
• A Hilbert-style axiomatisation for equational hybrid logic
• Fibring as biporting subsumes asymmetric combinations
• Hierarchical hybrid logic
• Refinement in hybridised institutions
• Foundations of logic programming in hybrid logics with user-defined sharing
• An exercise on the generation of many-valued dynamic logics
• Logics for actor networks: a two-stage constrained-hybridisation approach
• scientific article; zbMATH DE number 1617300 (Why is no real title available?)
• Completeness and decidability results for hybrid(ised) logics
• Quasi-varieties and initial semantics for hybridized institutions
• Hybridisation at work
• Hybrid specification of reactive systems: an institutional approach
• Forcing and calculi for hybrid logics
• The algebra of opposition (and universal logic interpretations)
• CafeOBJ Traces
• Encoding hybridized institutions into first-order logic
• Hybridisation of Institutions in HETS (Tool Paper).
• Partialising institutions
• On the contingency of logic in possible world semantics
• The institution of many-logics modal logic
• Lattices for \textit{many-logics} modal logic: constructions and representations
• Modality across different logics

This page was built for publication: Hybridization of institutions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3090875)