Abstract is missing.
- Mechanizing Bisimulation Theorems for Relation-Changing Logics in CoqRaul Fervari, Francisco Trucco, Beta Ziliani. 3-18 [doi]
- Behavioural and Abstractor Specifications for a Dynamic Logic with Binders and Silent TransitionsRolf Hennicker, Alexander Knapp, Alexandre Madeira, Felix Mindt. 19-34 [doi]
- The Logic of AGM Learning from Partial ObservationsAlexandru Baltag, Aybüke Özgün, Ana Lucia Vargas Sandoval. 35-52 [doi]
- A Dynamic Epistemic Logic Analysis of the Equality Negation TaskÉric Goubault, Marijana Lazic, Jérémy Ledent, Sergio Rajsbaum. 53-70 [doi]
- A Logical Analysis of the Interplay Between Social Influence and Friendship SelectionSonja Smets, Fernando R. Velázquez-Quesada. 71-87 [doi]
- A Four-Valued Hybrid Logic with Non-dual Modal OperatorsDiana Costa, Manuel A. Martins. 88-103 [doi]
- Persuasive Argumentation and Epistemic AttitudesCarlo Proietti, Antonio Yuste-Ginel. 104-123 [doi]
- The Trace ModalityDominic Steinhöfel, Reiner Hähnle. 124-140 [doi]
- Iterative Division in the Distributive Full Non-associative Lambek CalculusIgor Sedlár. 141-154 [doi]
- Resource Separation in Dynamic Logic of Propositional AssignmentsJoseph Boudou, Andreas Herzig, Nicolas Troquard. 155-170 [doi]
- Stit Semantics for Epistemic Notions Based on Information Disclosure in Interactive SettingsAldo Iván Ramírez Abarca, Jan M. Broersen. 171-189 [doi]
- Bringing Belief Base Change into Dynamic Epistemic LogicMarlo Souza, Álvaro F. Moreira. 190-205 [doi]
- A Dynamic Logic for QASM ProgramsCarlos Tavares. 209-217 [doi]
- On the Construction of Multi-valued Concurrent Dynamic LogicsLeandro Gomes. 218-226 [doi]