Marianela Morales

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 4

Top Topics

Cut Elimination

Datalog Programs

Top Venues

J. Log. Comput.

Publications

Marianna Girlando, Roman Kuznets, Sonia Marin, Marianela Morales, Lutz Straßburger
A Simple Loopcheck for Intuitionistic K. WoLLIC (2024)
Marianna Girlando, Roman Kuznets, Sonia Marin, Marianela Morales, Lutz Straßburger
Intuitionistic S4 is decidable. LICS (2023)
Marianna Girlando, Roman Kuznets, Sonia Marin, Marianela Morales, Lutz Straßburger
Intuitionistic S4 is decidable. CoRR (2023)
Sonia Marin, Marianela Morales, Lutz Straßburger
A fully labelled proof system for intuitionistic modal logics. J. Log. Comput. 31 (3) (2021)