贝内维特斯，马里奥·R·F·。（编辑）;亚历山大·马德拉（编辑） DaLí–动态逻辑、新趋势和应用。 （英文） 兹比尔1489.00021 J.日志。阿尔盖布。方法计划。 111，文章ID 100514，2 p.（2020）. 摘自正文：这本特别发行的卷结束了DaLí-Dynamic Logic的第一版，新趋势和应用。事实上，最初计划作为一项本地倡议，即葡萄牙网络物理系统Logics项目研讨会：走向基于合同的设计，DaLí是一项专门致力于动态逻辑的定期活动（第二版与2019年世界正式方法大会联合发布，第三版将于2020年在布拉格发布）。 MSC公司： 00B15号机组 杂项特定利益物品的收集 00B25型 杂项特定利益的会议记录 68-06 与计算机科学有关的会议记录、会议、收藏等 PDF格式BibTeX公司 XML格式引用 \textit{M.R.F.Benevides}（编辑）和\textit{A.Madeira}（主编），J.Log。阿尔盖布。方法计划。111，文章ID 100514，第2页（2020；Zbl 1489.00021） 全文： 内政部 参考文献： [1] （Barbosa，L.；Baltag，A.，《动态逻辑：新趋势和应用——第二次国际研讨会》，《动态逻辑学：新趋势与应用——第三次国际研讨会，2019年10月14日，葡萄牙波尔图，DALI 2019》。动态逻辑。新趋势和应用——第二次国际研讨会。动态逻辑。新趋势和应用——第二届国际研讨会，DALI 2019，葡萄牙波尔图，2019年10月14日，计算机科学讲稿，第12005卷（2019），斯普林格）·Zbl 1430.03006号 [2] （马德拉，A.；贝内维提斯，M。R.F.，《动态逻辑》。新趋势和应用——第一次国际研讨会。动态逻辑。新趋势和应用——第一届国际研讨会，2017年9月23日至24日，巴西巴西利亚，DALI 2017，会议记录。动态逻辑。新趋势和应用——第一次国际研讨会。动态逻辑。新趋势和应用——第一届国际研讨会，2017年DALI，巴西巴西利亚，2017年9月23日至24日，计算机科学论文集，第10669卷（2018），施普林格出版社）·Zbl 1383.03006号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。