Beth Semantics and Labelled Deduction for Intuitionistic Sentential Calculus with Identity. - Didier Galmiche; Marta Gawek; Daniel Méry (FSCD, 2021)

Natural Deduction Systems for Intuitionistic Logic with Identity. - Szymon Chlebowski; Marta Gawek; Agata Tomczyk (Stud Logica, 2022)

A Separation Logic with Histories of Epistemic Actions as Resources. - Hans van Ditmarsch; Didier Galmiche; Marta Gawek (WoLLIC, 2023)

An Epistemic Separation Logic with Action Models. - Hans van Ditmarsch; Didier Galmiche; Marta Gawek (J. Log. Lang. Inf., 2023)