Hybridization of Institutions
From MaRDI portal
Publication:3090875
DOI10.1007/978-3-642-22944-2_20zbMath1343.03052OpenAlexW2169327191MaRDI QIDQ3090875
Manuel A. Martins, Răzvan Diaconescu, Alexandre Madeira, Luís Soares 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
Modal logic (including the logic of norms) (03B45) Abstract data types; algebraic specification (68Q65) Categorical logic, topoi (03G30)
Related Items (17)
Foundations of logic programming in hybrid logics with user-defined sharing ⋮ An exercise on the generation of many-valued dynamic logics ⋮ Specification of systems with parameterised events: An institution-independent approach ⋮ Introducing \(H\), an institution-based formal specification and verification language ⋮ Birkhoff style calculi for hybrid logics ⋮ Logics for actor networks: a two-stage constrained-hybridisation approach ⋮ Hybridisation of Institutions in HETS (Tool Paper). ⋮ CafeOBJ Traces ⋮ A Hilbert-style axiomatisation for equational hybrid logic ⋮ Fibring as biporting subsumes asymmetric combinations ⋮ Encoding hybridized institutions into first-order logic ⋮ Hybrid Specification of Reactive Systems: An Institutional Approach ⋮ Hybrid dynamic logic institutions for event/data-based systems ⋮ Hierarchical hybrid logic ⋮ The Algebra of Opposition (and Universal Logic Interpretations) ⋮ Omitting types theorem in hybrid dynamic first-order logic with rigid symbols ⋮ Refinement in hybridised institutions
This page was built for publication: Hybridization of Institutions