A many-sorted polyadic modal logic. - Ioana Leustean; Natalia Moanga (CoRR, 2018)

Operational Semantics and Program Verification Using Many-Sorted Hybrid Modal Logic. - Ioana Leustean; Natalia Moanga; Traian-Florin Serbanuta (TABLEAUX, 2019)

From Hybrid Modal Logic to Matching Logic and back. - Ioana Leustean; Natalia Moanga; Traian-Florin Serbanuta (FROM, 2019)

Fischer-Ladner Closure for Many-Sorted Modal Logic with Application for Operational Semantics. - Natalia Moanga (SYNASC, 2020)

A Many-sorted Polyadic Modal Logic. - Ioana Leustean; Natalia Moanga; Traian-Florin Serbanuta (Fundam. Informaticae, 2020)

Many-sorted hybrid modal languages. - Ioana Leustean; Natalia Moanga; Traian-Florin Serbanuta (J. Log. Algebraic Methods Program., 2021)