亚历山大·马德拉（编辑）;贝内维迪斯，马里奥（编辑） 动态逻辑。新趋势和应用。2017年9月23日至24日在巴西巴西利亚举行的2017年DALI首次国际研讨会。诉讼程序。 （英文） Zbl 1383.03006号 计算机科学课堂讲稿10669.查姆：施普林格（ISBN 978-3-319-73578-8/pbk；978-3-3169-73579-5/ebook）。ix，201页。(2018). 将索引文章显示为搜索结果。 本卷的文章将单独进行审查。索引文章：卡洛斯·阿雷塞斯；劳尔·费尔瓦里（Raul Fervari）；纪尧姆·霍夫曼；毛里西奥·马特尔，关系变化模态逻辑的不可解释性，1-16[Zbl 1499.03018号]菲利普·巴尔比亚尼；约瑟夫·布杜，带有fork的无迭代PDL变体的公理化和可计算性，17-34[Zbl 1499.03022号]亚历山大·巴尔塔格；Nina Gierasimczuk；厄兹根，艾比克；阿娜·露西娅·瓦尔加斯·桑多瓦尔（Ana Lucia Vargas Sandoval）；斯梅茨，索尼娅，学习理论的动态逻辑，35-54[Zbl 1502.68283号]巴博萨、路易斯·索亚雷斯，分层逻辑，组合逻辑，55-63[Zbl 1499.03079号]尤里·大卫·桑托斯，动态信息认知逻辑，64-81[Zbl 1503.68253号]劳尔·费尔瓦里（Raul Fervari）；费尔南多·奎萨达（Fernando R.Velázquez-Quesada）。，自省的动态认知逻辑，82-97[Zbl 1499.03013号]何塞·费亚德罗；Ţuţu，伊奥努；安托尼亚州洛佩斯；达斯科·巴甫洛维奇，行动者网络的逻辑：约束杂交的案例研究，98-114[兹比尔1423.68049]Helle Hvid汉森；克莱门斯·库普克；Johannes Marti；维尼马，伊德，游戏逻辑的奇偶游戏和自动机，115-132[Zbl 1499.03024号]特里斯坦·查里尔；苏菲·平奇纳特；弗朗索瓦州施瓦岑特鲁伯，针对任意公告逻辑的模型检查：存在片段的一阶逻辑证明方法，133-152[Zbl 1503.68180号]沃恩·普拉特《动态逻辑：个人视角》，153-170[Zbl 1499.03026号]Smets，Sonja；费尔南多·奎萨达（Fernando R.Velázquez-Quesada）。《社交网络的创建和变化：基于群体规模的逻辑研究》，171-184[兹比尔1499.91080]马洛·苏扎；阿尔瓦罗·莫雷拉；雷娜塔·维埃拉，作为信念改变逻辑的动态偏好逻辑，185-200[Zbl 1499.03015号] 引用于1审查引用于1文件 MSC公司： 03-06 与数理逻辑和基础有关的会议记录、会议、收藏等 03B70号 计算机科学中的逻辑 00B25型 杂项特定利益的会议记录 PDF格式BibTeX公司 XML格式引用 \textit{A.Madeira}（编辑）和\textit{M.Benevides}（主编），《动态逻辑》。新趋势和应用。2017年9月23-24日在巴西巴西利亚举行的2017年DALI首次国际研讨会。诉讼程序。查姆：施普林格（2018；Zbl 1383.03006） 全文： 内政部