| 1 | -- | 24 | Norihiro Kamide. Strong normalization in some temporal substructural logics |
| 25 | -- | 58 | Andrew Koster, W. Marco Schorlemmer, Jordi Sabater-Mir. Opening the black box of trust: reasoning about trust models in a BDI agent |
| 59 | -- | 86 | Ori Lahav, Arnon Avron. A semantic proof of strong cut-admissibility for first-order Gödel logic |
| 87 | -- | 108 | Hubie Chen, Víctor Dalmau, Berit Grußien. Arc consistency and friends |
| 109 | -- | 119 | Frederik Van De Putte. Prime implicates and relevant belief revision |
| 121 | -- | 156 | Joel Gregory Lucero-Bryan. The d-logic of the real line |
| 157 | -- | 180 | Lauri Hella, Tero Tulenheimo. On the existence of a modal-logical basis for monadic second-order logic |
| 181 | -- | 197 | Luis Estrada-González. Remarks on some general features of abduction |
| 199 | -- | 262 | Jim Burton, Gem Stapleton, John Howse. Generalized constraint diagrams and the classical decision problem |
| 263 | -- | 305 | Miquel Bofill, Cristina Borralleras, Enric Rodríguez-Carbonell, Albert Rubio. The recursive path and polynomial ordering for first-order and higher-order terms |