| 1307 | -- | 1332 | Libor Behounek. A minimalistic many-valued theory of types |
| 1333 | -- | 1352 | Juha Kontinen, Julian-Steffen Müller, Henning Schnoor, Heribert Vollmer. Modal independence logic |
| 1353 | -- | 1389 | Johan van Benthem, Nick Bezhanishvili, Wesley H. Holliday. A bimodal perspective on possibility semantics |
| 1391 | -- | 1397 | Saeed Salehi, Payam Seraji. Gödel-Rosser's Incompleteness Theorem, generalized and optimized for definable theories |
| 1399 | -- | 1420 | Evgeny Zolin. Undecidability of the transitive graded modal logic with converse |
| 1421 | -- | 1464 | Gabrielle Anderson, David J. Pym. A Substructural Modal Logic of Utility |
| 1465 | -- | 1488 | Victor Lagerkvist, Magnus Wahlström. The power of primitive positive definitions with polynomially many variables |
| 1489 | -- | 1521 | Wolfgang Dvorák, Christof Spanring. Comparing the expressiveness of argumentation semantics |
| 1523 | -- | 1548 | Norihiro Kamide. Logics with definitional reflection rules |
| 1549 | -- | 1575 | Norihiro Kamide, Yaroslav Shramko. Embedding from multilattice logic into classical logic and vice versa |
| 1577 | -- | 1606 | Razvan Diaconescu. Implicit Kripke semantics and ultraproducts in stratified institutions |
| 1607 | -- | 1641 | Joaquín Díaz-Boïls. Categorical comprehensions and recursion |
| 1643 | -- | 1675 | Vít Puncochár. Algebras of Information States |