The field of logical and semantic frameworks is witnessing significant developments, with a focus on unifying theoretical domains and providing foundational principles for structural generation. Researchers are exploring new ways to characterize computational models, redefine functionality, and represent discontinuity in natural language. A notable trend is the use of categorical theory and algebraic axiomatisations to provide a unified understanding of logic, semantics, and computation. Another area of interest is the development of imperative, stack-based, and reversible computational models that characterise two-way bijections. Noteworthy papers include: Towards a Characterization of Two-way Bijections in a Reversible Computational Model, which introduces a novel computational model, and Redefining Functionality and Construction-Defining Capacity, which proposes a new perspective on functionality as a dual capacity for syntactic and semantic generation.