Dynamic Logic. New Trends and Applications: First International Workshop, Dali 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings

ISBN-13: 9783319735788 / Angielski / Miękka / 2018 / 201 str.

Alexandre Madeira; Mario Benevides

Opis

This book constitutes the proceedings of the First International Workshop on Dynamic Logic, DALI 2017, held in Brasilia, Brazil, in September 2017.

Spis treści

Undecidability of Relation-Changing Modal Logics.- Axiomatization and computability of a variant of iteration-free PDL with fork.- A Dynamic Logic for Learning Theory.- Layered logics, coalgebraically.- A Dynamic Informational-Epistemic Logic.- Dynamic Epistemic Logics of Introspection.- Logics for Actor Networks: a case study in constrained hybridization.- Parity Games and Automata for Game Logic.- Model checking against arbitrary public announcement logic: A first-order-logic prover approach for the existential fragment.- Dynamic Logic: A personal perspective.- The Creation and Change of Social Networks: a logical study based on group size.