@article{1454682,
      recid = {1454682},
      author = {Areces, Carlos, and Costa, Diana,},
      title = {Dynamic logic : new trends and applications : 4th  International Workshop, DaLí 2022, Haifa, Israel, July  31-August 1, 2022 : revised selected papers /. DaLí  (International Workshop)},
      publisher = {Springer,},
      address = {Cham, Switzerland :},
      pages = {1 online resource (xx, 155 pages) :},
      year = {2023},
      note = {Includes author index.},
      abstract = {This book constitutes revised selected papers from the  refereed proceedings of the 4th International Workshop on  Dynamic Logic, DaLi 2022, held in Haifa, Israel, in  July/August 2022. The 8 full papers presented in this  volume were carefully reviewed and selected from 22  submissions. They deal with new trends and applications in  the area of Dynamic Logic.},
      url = {http://library.usi.edu/record/1454682},
      doi = {https://doi.org/10.1007/978-3-031-26622-5},
}