Tootfinder

Characterization of Lattice Properties Within Modal Extensions
Alfredo R. Freire (Department of Philosophy, University of Brasilia, Brasil), Manuel A. Martins (Department of Mathematics, University of Aveiro, Portugal)
https://arxiv.org/abs/2509.25882

Characterization of Lattice Properties Within Modal Extensions
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 necessity operator is not uniquely determined by the underlying lattice structure. The most natural interpretation defines necessity as the meet of the truth values of a formula across all accessible worlds -- an approach we refer to as the \textitnormal interpretation. We examine the logical properties that emerge under this…

Proceedings Twentieth International Symposium on Logical and Semantic Frameworks with Applications
Haniel Barbosa, Christophe Ringeissen
https://arxiv.org/abs/2509.23739 https:/…

Proceedings Twentieth International Symposium on Logical and Semantic Frameworks with Applications
This volume contains the proceedings of the 20th Workshop on Logical and Semantic Frameworks with Applications (LSFA 2025), which was held in Brasilia, the capital of Brazil, from October 7 to October 8, 2025. The aim of the LSFA series of workshops is bringing together theoreticians and practitioners to promote new techniques and results, from the theoretical side, and feedback on the implementation and use of such techniques and results, from the practical side. LSFA includes areas such as …