| 1195 | -- | 1205 | Tim Lethen. A Talmudic norms approach to many-valued logic |
| 1206 | -- | 1225 | Azza Gaysin. ℋ-Colouring Dichotomy in Proof Complexity |
| 1226 | -- | 1265 | Francesc Esteva, Aldo Figallo Orellano, Tommaso Flaminio, Lluís Godo. Logics of formal inconsistency based on distributive involutive residuated lattices |
| 1266 | -- | 1288 | Mikhail N. Rybakov, Dmitry Shkatov. Algorithmic properties of first-order modal logics of linear Kripke frames in restricted languages |
| 1289 | -- | 1297 | Tejas Bhojraj. Notions of indifference for genericity: Union sets and subsequence sets |
| 1298 | -- | 1316 | Hien D. Nguyen 0002, Chiaki Sakama, Taisuke Sato, Katsumi Inoue. An efficient reasoning method on logic programming using partial evaluation in vector spaces |
| 1317 | -- | 1329 | Irakli O. Chitaia, Roland Sh. Omanadze, Andrea Sorbi. Notes on conjunctive and Quasi degrees |
| 1330 | -- | 1355 | Stanislav O. Speranski. Negation as a modality in a quantified setting |
| 1356 | -- | 1388 | Sihem Belabbes, Salem Benferhat, Jan Chomicki. Handling inconsistency in partially preordered ontologies: the Elect method |