Marianela Morales

According to our database, Marianela Morales authored at least 4 papers between 2021 and 2024.

Collaborative distances:

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

2024

A Simple Loopcheck for Intuitionistic K.

Marianna Girlando, Roman Kuznets, Sonia Marin, Marianela Morales, Lutz Straßburger

Proceedings of the Logic, Language, Information, and Computation, 2024

2023

Unusual proof systems for modal logics with applications to decision problems. (Systèmes de preuve inhabituels pour la logique modale avec applications aux problèmes de décision).

Marianela Morales

PhD thesis, 2023

Intuitionistic S4 is decidable.

Marianna Girlando, Roman Kuznets, Sonia Marin, Marianela Morales, Lutz Straßburger

Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 2023

2021

A fully labelled proof system for intuitionistic modal logics.

Sonia Marin, Marianela Morales, Lutz Straßburger

J. Log. Comput., 2021