3 papers
math.LO2026
Regular non-normal modal classicalities
Alfredo Roque Freire, Manuel António Martins
We present a novel investigation into the consistency operator (), traditionally associated with paraconsistent logics, as a means of capturing non-normal modal classicaliti…
cs.LO2025
Characterization of Lattice Properties Within Modal Extensions
Alfredo R. Freire, Manuel A. Martins
This paper investigates the extension of lattice-based logics into modal languages. We observe that such extensions admit multiple approaches, as the interpretation of the necessit…
cs.LO2025
A Function-Set Framework: General Properties and Applications to Modal Logic
Luke Bayzid, Alexandre Madeira, Manuel A. Martins
Representations are essential to mathematically model phenomena, but there are many options available. While each of those options provides useful properties with which to solve pr…