The field of logical foundations and abductive reasoning is moving towards a deeper understanding of the underlying principles and complexities of various logical systems. Recent research has focused on characterizing simulation between theories, abduction in non-classical logics, and the introduction of new modalities to study bisimulations. These developments have led to a better understanding of the computational complexity of abductive reasoning tasks and the limitations of certain logical systems. Notably, innovations in abduction have enabled more fine-grained understanding of variability in explanations, while advancements in modal logic have facilitated the study of bisimulations. Particular papers of interest include: Characterizing p-Simulation Between Theories, which implies P≠NP≠coNP, and Complexity of Abduction in Łukasiewicz Logic, which analyzes the complexity of abductive reasoning tasks in infinitely-valued fuzzy logic. Complexity of Faceted Explanations in Propositional Abduction introduces facets to propositional abductions, allowing for a more nuanced understanding of explanations. A meta-modal logic for bisimulations proposes a new modality to study bisimulations, providing a sound and complete axiomatisation of the class of all pairs of Kripke models linked by bisimulations.