2 papers
cs.LO2026
Efficient Decision Procedures for RNmatrix Semantics
Renato R. Leme, Carlos Olarte, Elaine Pimentel
Logical matrices provide a semantic framework in which connectives are interpreted by deterministic truth-functions. While elegant, this approach is often too restrictive to captur…
cs.LO2025
The Modal Cube Revisited: Semantics without Worlds (Technical Report)
Renato Leme, Carlos Olarte, Elaine Pimentel +1
We present a non-deterministic semantic framework for all modal logics in the modal cube, extending prior works by Kearns and others. Our approach introduces modular and uniform mu…