Natalia Moanga

Publication Activity (10 Years)

Years Active: 2018-2021
Publications (10 Years): 8

Top Topics

Decision Procedures

Prime Implicates

Operational Semantics

Top Venues

Fundam. Informaticae

J. Log. Algebraic Methods Program.

Publications

Ioana Leustean, Natalia Moanga, Traian-Florin Serbanuta
Many-sorted hybrid modal languages. J. Log. Algebraic Methods Program. 120 (2021)
Ioana Leustean, Natalia Moanga, Traian-Florin Serbanuta
Many-Sorted Hybrid Modal Languages. CoRR (2020)
Ioana Leustean, Natalia Moanga, Traian-Florin Serbanuta
A Many-sorted Polyadic Modal Logic. Fundam. Informaticae 173 (2-3) (2020)
Natalia Moanga
Fischer-Ladner Closure for Many-Sorted Modal Logic with Application for Operational Semantics. SYNASC (2020)
Ioana Leustean, Natalia Moanga, Traian-Florin Serbanuta
Operational semantics and program verification using many-sorted hybrid modal logic. CoRR (2019)
Ioana Leustean, Natalia Moanga, Traian-Florin Serbanuta
From Hybrid Modal Logic to Matching Logic and back. FROM (2019)
Ioana Leustean, Natalia Moanga, Traian-Florin Serbanuta
Operational Semantics and Program Verification Using Many-Sorted Hybrid Modal Logic. TABLEAUX (2019)
Ioana Leustean, Natalia Moanga
A many-sorted polyadic modal logic. CoRR (2018)