Tootfinder

Brazil’s federal police on Saturday arrested former president Jair Bolsonaro over suspicion he was plotting to escape and avoid starting a 27-year prison sentence for leading a coup attempt.
The decision laid bare some of the country’s divisions, with many uncorking Champagne outside the far-right leader’s prison to celebrate as his supporters prepared a religious act in his favor.
In a dramatic and unexpected twist in the final stage of a long and divisive criminal trial, feder…

Brazil’s Supreme Court orders arrest of former President Jair Bolsonaro
Brazil’s Supreme Court has ordered the arrest of former President Jair Bolsonaro over claims he was planning to escape before starting his 27-year prison sentence for leading a coup attempt. Bolsonaro, who has been under house arrest, was taken to the federal police headquarters in Brasilia on Saturday after his ankle monitor was reportedly violated. Justice Alexandre de Moraes cited a video by Bolsonaro's son urging supporters to protest, which he said showed intent to create chaos. Bolsonar…

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 …