Dynamic Logic: New trends and applications Special Issue on Dynamic Logic: New trends and applications. Submission status Open Submission deadline Ongoing