2 papers
math.LO2026
On Many-logic modal structures and information-based logics
Manuel Martins, AbÃlio Rodrigues, Marcelo Coniglio +1
This paper proposes an approach to information-based logics using many-logic modal structures (MLMS). These structures can express accessibility relations between worlds with diffe…
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…