Dynamic Logic. New Trends and Applications

.- Learning about Causation: Dynamic Epistemic Modal Logic with Causal Awareness.

.- Hybrid Logic with Moving Names.

.- Deductive Systems for Dynamic Quantum Logic.

.- Satisfaction-based Probabilistic Hoare Logic With While Loop: Weakest Precondition and Relative Completeness.

.- Weakest Precondition and Relative Completeness of Some Fragments of Probabilistic Relational Hoare Logic.

.- Virtual Group Knowledge and Group Belief in Topological Evidence Models.

.- On Fuzzy topological semantics.

.- Dynamic Logic of Product Relation Changers.

.- Completeness and Decidability of Protocol-Dependent Knowledge in Gossip.

.- Dynamic epistemic logic with private communication.

.- A dynamic logic of subjective belief.

.- Dynamic logic for interrogative epistemology.