| 1871 | -- | 1895 | Jerzy Pilecki, Marek A. Bednarczyk, Wojciech Jamroga. SMC: synthesis of uniform strategies and verification of strategic ability for multi-agent systems |
| 1897 | -- | 1954 | Alexander Leitsch, Nicolas Peltier, Daniel Weller. CERES for first-order schemata |
| 1955 | -- | 1986 | Ali Rezaei Divroodi, Linh Anh Nguyen. On directed simulations in description logics |
| 1987 | -- | 2009 | Argimiro Arratia, Carlos E. Ortiz. Methods of class field theory to separate logics over finite residue classes and circuit complexity |
| 2011 | -- | 2042 | Eduardo Fermé, Marco Garapa, Maurício D. Luís Reis. On ensconcement and contraction |
| 2043 | -- | 2062 | Natasha Alechina, Wiebe van der Hoek, Brian Logan. Fair decomposition of group obligations |
| 2063 | -- | 2088 | Sérgio Marcelino, Carlos Caleiro. On the characterization of fibred logics, with applications to conservativity and finite-valuedness |
| 2089 | -- | 2134 | Mark Snaith, Chris Reed. Argument Revision |
| 2135 | -- | 2169 | Nick Bezhanishvili, Silvio Ghilardi, Frederik Möllerström Lauridsen. One-step Heyting Algebras and Hypersequent Calculi with the Bounded Proof Property |
| 2171 | -- | 2192 | Michael Brand, David L. Dowe. The IMP game: Learnability, approximability and adversarial learning beyond $$\Sigma^0_1$$ |
| 2193 | -- | 2226 | Emmanuel Chemla, Paul Égré, Benjamin Spector. Characterizing logical consequence in many-valued logic |
| 2227 | -- | 2250 | Stefano Aguzzoli, Manuela Busaniche, Brunella Gerla, Miguel Andrés Marcos. On the category of Nelson paraconsistent lattices |
| 2251 | -- | 2269 | Maciej Bendkowski, Katarzyna Grygiel, Marek Zaionc. On the likelihood of normalization in combinatory logic |
| 2271 | -- | 2301 | Norihiro Kamide. Relating first-order monadic omega-logic, propositional linear-time temporal logic, propositional generalized definitional reflection logic and propositional infinitary logic |