Abstract is missing.
- Undecidability of Relation-Changing Modal LogicsCarlos Areces, Raul Fervari, Guillaume Hoffmann, Mauricio Martel. 1-16 [doi]
- Axiomatization and Computability of a Variant of Iteration-Free PDL with ForkPhilippe Balbiani, Joseph Boudou. 17-34 [doi]
- A Dynamic Logic for Learning TheoryAlexandru Baltag, Nina Gierasimczuk, Aybüke Özgün, Ana Lucia Vargas Sandoval, Sonja Smets. 35-54 [doi]
- Layered Logics, CoalgebraicallyLuís Soares Barbosa. 55-63 [doi]
- A Dynamic Informational-Epistemic LogicYuri David Santos. 64-81 [doi]
- Dynamic Epistemic Logics of IntrospectionRaul Fervari, Fernando R. Velázquez-Quesada. 82-97 [doi]
- Logics for Actor Networks: A Case Study in Constrained Hybridization - A Case Study in Constrained HybridizationJosé Luiz Fiadeiro, Ionut Tutu, Antónia Lopes, Dusko Pavlovic. 98-114 [doi]
- Parity Games and Automata for Game LogicHelle Hvid Hansen, Clemens Kupke, Johannes Marti, Yde Venema. 115-132 [doi]
- Model Checking Against Arbitrary Public Announcement Logic: A First-Order-Logic Prover Approach for the Existential FragmentTristan Charrier, Sophie Pinchinat, François Schwarzentruber. 133-152 [doi]
- Dynamic Logic: A Personal PerspectiveVaughan R. Pratt. 153-170 [doi]
- The Creation and Change of Social Networks: A Logical Study Based on Group SizeSonja Smets, Fernando R. Velázquez-Quesada. 171-184 [doi]
- Dynamic Preference Logic as a Logic of Belief ChangeMarlo Souza, Álvaro F. Moreira, Renata Vieira. 185-200 [doi]