Natalia Moanga

According to our database, Natalia Moanga authored at least 6 papers between 2018 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2021

Many-sorted hybrid modal languages.

Ioana Leustean, Natalia Moanga, Traian-Florin Serbanuta

J. Log. Algebraic Methods Program., 2021

2020

A Many-sorted Polyadic Modal Logic.

Ioana Leustean, Natalia Moanga, Traian-Florin Serbanuta

Fundam. Informaticae, 2020

Fischer-Ladner Closure for Many-Sorted Modal Logic with Application for Operational Semantics.

Natalia Moanga

Proceedings of the 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2020

2019

From Hybrid Modal Logic to Matching Logic and back.

Ioana Leustean, Natalia Moanga, Traian-Florin Serbanuta

Proceedings of the Proceedings Third Symposium on Working Formal Methods, 2019

Operational Semantics and Program Verification Using Many-Sorted Hybrid Modal Logic.

Ioana Leustean, Natalia Moanga, Traian-Florin Serbanuta

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2019

2018

A many-sorted polyadic modal logic.

Ioana Leustean, Natalia Moanga

CoRR, 2018