Hybrid dynamic logic institutions for event/data-based systems
type: Item
instance of: scholarly article
title: Hybrid dynamic logic institutions for event/data-based systems
author: Rolf Hennicker
author: Alexander Knapp
author: Alexandre Madeira
published in: Formal Aspects of Computing
publication date: 2022-01-11T00:00:00Z
full work available at URL: https://arxiv.org/abs/1902.03074
Mathematics Subject Classification ID: 68-XX
zbMATH DE Number: 7455784
describes a project that uses: Hets
describes a project that uses: Rodin
MaRDI profile type: Publication
OpenAlex ID: W3187540623
cites work: Interface theories for concurrency and data
cites work: A Hybrid, Dynamic Logic for Hybrid-Dynamic Information Flow
cites work: Hybrid logic and its proof-theory
cites work: Institution-independent model theory
cites work: Encoding hybridized institutions into first-order logic
cites work: Ultraproducts and possible worlds semantics in institutions
cites work: Adding a temporal dimension to a logic system
cites work: An Institution for Event-B
cites work: Institutions: abstract model theory for specification and programming
cites work: Q3191614
cites work: Q4518420
cites work: Action refinement.
cites work: Institution morphisms
cites work: Q4525781
cites work: Q4215784
cites work: A logic for the stepwise development of reactive systems
cites work: What is a logic translation?
cites work: Hybridization of Institutions
cites work: Toward formal development of programs from algebraic specifications: Implementations revisited
cites work: Foundations of algebraic specification and formal software development.
Wikidata QID: Q130838804
DOI: 10.1007/S00165-021-00550-7
description: scientific article; zbMATH DE number 7455784