尼娜·吉拉西姆祖克（编辑）;费尔南多·奎萨达（Fernando R.Velázquez-Quesada）。（编辑） 动态逻辑。新趋势和应用。第五届国际研讨会，达赖2023年，格鲁吉亚第比利斯，2023年9月15日至16日。修订了选定的论文。 （英语） 兹伯利07815705 计算机科学课堂讲稿14401.查姆：施普林格（ISBN 978-3-031-51776-1/pbk；978-3-331-51777-8/电子书）。xi，137页。(2024). 本卷的文章将单独进行审查。有关前面的研讨会，请参阅[Zbl 07815700号]. MSC公司： 03-06 与数理逻辑和基础有关的会议记录、会议、收藏等 03B70号 计算机科学中的逻辑 00B25型 杂项特定利益的会议记录 引文：Zbl 07815700号 PDF格式BibTeX公司 XML格式引用 \textit｛N.Gierasimczuk｝（编辑）和\textit｛F.R.Velázquez-Quesada｝（编辑），动态逻辑。新趋势和应用。第五届国际研讨会，达赖2023年，格鲁吉亚第比利斯，2023年9月15日至16日。修订了选定的论文。查姆：施普林格（2024；Zbl 07815705） 全文： DOI程序