| 2303 | -- | 2339 | Costas D. Koutras, Christos Moyzes, Yorgos Zikos. A modal logic of knowledge, belief and estimation |
| 2341 | -- | 2381 | Fernando R. Velázquez-Quesada. Reliability-based preference dynamics: lexicographic upgrade |
| 2383 | -- | 2410 | Yanjun Li, Quan Yu, Yanjing Wang. More for free: a dynamic epistemic framework for conformant planning over transition systems |
| 2411 | -- | 2430 | Kentarô Yamamoto. Results in modal correspondence theory for possibility semantics |
| 2431 | -- | 2449 | Ringo Baumann, Hannes Strass. On the number of bipolar Boolean functions |
| 2451 | -- | 2469 | Juan Pablo Aguilera Ozuna, David Fernández Duque. Verification logic |
| 2471 | -- | 2503 | Livio Robaldo, Xin Sun 0001. Reified Input/Output logic: Combining Input/Output logic and Reification to represent norms coming from existing legislation |
| 2505 | -- | 2524 | Patrick Allo. Hard and soft logical information |
| 2525 | -- | 2549 | Stefano Aguzzoli, Tommaso Flaminio, Sara Ugolini. Equivalences between subcategories of MTL-algebras via Boolean algebras and prelinear semihoops |
| 2551 | -- | 2580 | Ana Luísa Duboc, Aline Paes, Gerson Zaverucha. On the formal characterization of the FORTE_MBC theory revision operators |
| 2581 | -- | 2609 | Edmond Awad, Martin W. A. Caminada, Gabriella Pigozzi, Mikolaj Podlaszewski, Iyad Rahwan. Pareto optimality and strategy-proofness in group argument evaluation |
| 2611 | -- | 2630 | Maciej Bendkowski, Katarzyna Grygiel, Pierre Lescanne, Marek Zaionc. Combinatorics of $$\lambda$$-terms: a natural approach |
| 2631 | -- | 2651 | Martin Fischer, Carlo Nicolai, Leon Horsten. Iterated reflection over full disquotational truth |
| 2653 | -- | 2688 | Carlos Areces, Miguel Campercholi, Daniel Penazzi, Pedro Sánchez Terraf. The lattice of congruences of a finite line frame |