|
Eine Ebene nach oben |
Gruppiert nach:
Dokumententyp
| Veröffentlichungsdatum
Springe zu: Zeitschriftenartikel
Anzahl der Publikationen: 5
Zeitschriftenartikel
Hennicker, Rolf und Knapp, Alexander
(2022):
Specification of systems with parameterised events: An institution-independent approach.
In: Journal of Logical and Algebraic Methods in Programming, Bd. 128, 100791
Wirsing, Martin und Knapp, Alexander
(2022):
A Reduction-based Cut-free Gentzen Calculus for Dynamic Epistemic Logic.
In: Logic Journal of the Igpl, Bd. 31, Nr. 6: S. 1047-1068
Hennicker, Rolf; Knapp, Alexander und Madeira, Alexandre
(2021):
Observational interpretations of hybrid dynamic logic with binders and silent transitions.
In: Journal of Logical and Algebraic Methods in Programming, Bd. 122, 100698
Hennicker, Rolf; Knapp, Alexander und Madeira, Alexandre
(2021):
Hybrid dynamic logic institutions for event/data-based systems.
In: Formal Aspects of Computing, Bd. 33, Nr. 6: S. 1209-1248
Hennicker, Rolf; Knapp, Alexander; Madeira, Alexandre und Mindt, Felix
(2020):
Behavioural and Abstractor Specifications for a Dynamic Logic with Binders and Silent Transitions.
In: Dynamic Logic: New Trends and Applications, Dali 2019, Bd. 12005: S. 19-34