![[höher]](/style/images/multi_up.png)
Eine Ebene höherGruppiert nach: Dokumententyp |
Veröffentlichungsdatum
Anzahl der Publikationen: 5
2022
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
2021
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
2020
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