| 961 | -- | 983 | Andrew Matusiewicz, Neil V. Murray, Paul W. Olsen, Erik Rosenthal. Computing prime implicates by pruning the search space and accelerating subsumption |
| 985 | -- | 998 | Seyed Mohammad Bagheri, Roghieh Safari. Completeness for linear continuous logic |
| 999 | -- | 1021 | Emanuel Kieronski, Ian Pratt-Hartmann, Lidia Tendera. Equivalence closure in the two-variable guarded fragment |
| 1023 | -- | 1066 | Gabriela Steren, Eduardo Bonelli. The first-order hypothetical logic of proofs |
| 1067 | -- | 1094 | Bernhard Bliem, Reinhard Pichler, Stefan Woltran. Implementing Courcelle's Theorem in a declarative framework for dynamic programming |
| 1095 | -- | 1131 | Shuanglong Kan, Zhiqiu Huang, Zhe Chen, Weiwei Li, Yutao Huang. Partial order reduction for checking LTL formulae with the next-time operator |
| 1133 | -- | 1141 | Sven Ove Hansson. AGM contraction is not reconstructible as a descriptor operation |
| 1143 | -- | 1156 | Brett McLean. Complete representation by partial functions for composition, intersection and anti-domain |
| 1157 | -- | 1168 | Marija Boricic. Suppes-style sequent calculus for probability logic |
| 1169 | -- | 1187 | Christian W. Bach, Jérémie Cabessa. Limit-agreeing to disagree |
| 1189 | -- | 1224 | Pavel Naumov, Jia Tao. Knowledge in communication networks |
| 1225 | -- | 1305 | Cédric Dégremont, Soumya Paul, Nicholas Asher. A logic of sights |