Editorial: Special issue from the 3rd International Workshop on Dynamic Logic: New Trends and Applications (DaLí 2020).

This special issue contains extended versions of selected papers presented at the 3rd International Workshop on Dynamic Logic: New Trends and Applications (DaLí 2020). The submissions to DaLí 2020 and to the special issue span across various areas including dynamic logic and dynamic algebra, dynamic logic and public announcement logic and epistemic and modal logic in general. Strong completeness results concerning Hilbert-style axiomatizations of constructive dynamic logic of relation changers are established using two types of rewriting strategies via recursion axioms: inside-out and outside-in strategies. [Extracted from the article]