| 0 | -- | 0 | Leandro Fiorini Aurichi, Lucas Silva Sinzato Real. Unfriendly partitions when avoiding vertices of finite degree |
| 0 | -- | 0 | Mario R. F. Benevides, Leandro Gomes 0001, Bruno Lopes 0001. Towards determinism in PDL: relations and proof theory |
| 0 | -- | 0 | Ugo C. M. Almeida, Darllan Conceição Pinto. Expanding the Leibniz Hierarchy |
| 0 | -- | 0 | Veeti Ahvonen, Damian Heiman, Lauri Hella, Antti Kuusisto. Descriptive complexity for distributed computing with circuits |
| 0 | -- | 0 | Alessandro Aldini, Davide Fazio, Pierluigi Graziani, Raffaele Mascella, Mirko Tagliaferri. A logical perspective on intending to keep a true secret |
| 0 | -- | 0 | Luisa Marie Després, Ulrich Kohlenbach. Herbrand analyses in geometry: A case study |
| 0 | -- | 0 | Vitor Machado, Mario R. F. Benevides. Temporal logics for compartmental models |
| 0 | -- | 0 | José Luis Castiglioni, Rodolfo Cristian Ertola Biraben. Modalities combining two negations |
| 0 | -- | 0 | Taishi Kurahashi, Kohei Tominaga. Smullyan's truth and provability |
| 0 | -- | 0 | Marcelo Finger, Sandro Preto. Polyhedral semantics and the tractable approximation of Łukasiewicz infinitely-valued logic |
| 0 | -- | 0 | Stefano Baratella. On the weak completeness of a fragment of linear temporal logic |
| 0 | -- | 0 | Murdoch James Gabbay. Semitopology: a topological approach to decentralized collaborative action |
| 0 | -- | 0 | Edward Hermann Haeusler, Ciro Russo, Gisele Dalva Secco. Proceedings of the XX Encontro Brasileiro de Lógica |
| 0 | -- | 0 | Peter Arndt 0001, Hugo Luiz Mariano, Darllan Conceição Pinto. Congruence filter pairs, equational filter pairs and adjoints |
| 0 | -- | 0 | Matthias Thimm. Heuristic algorithms for credulous and sceptical reasoning problems in abstract argumentation |
| 0 | -- | 0 | Ana Luiza Tenorio, Caio de Andrade Mendes, Hugo Luiz Mariano. On sheaves on semicartesian quantales and their truth values |
| 0 | -- | 0 | Yong Cheng. On Rosser theories |
| 0 | -- | 0 | Timothy H. McNicholl. Evaluative presentations |
| 0 | -- | 0 | Tiago Mendonça Lucena de Veras, Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira. Computational paths - a weak groupoid |