The following publications are possibly variants of this publication:
- Behavioural and Abstractor Specifications for a Dynamic Logic with Binders and Silent TransitionsRolf Hennicker, Alexander Knapp, Alexandre Madeira, Felix Mindt. DaLi 2020: 19-34 [doi]
- Observational Semantics for Dynamic Logic with BindersRolf Hennicker, Alexandre Madeira. WADT 2017: 135-152 [doi]
- Observational interpretations of hybrid dynamic logic with binders and silent transitionsRolf Hennicker, Alexander Knapp, Alexandre Madeira. jlap, 122:100698, 2021. [doi]
- Dynamic Logic with Binders and Its Application to the Development of Reactive SystemsAlexandre Madeira, Luís Soares Barbosa, Rolf Hennicker, Manuel A. Martins. ictac 2016: 422-440 [doi]