| 1 | -- | 4 | Dov M. Gabbay, Jörg H. Siekmann. Editorial |
| 5 | -- | 40 | Claudette Cayrol, Didier Dubois, Fayçal Touazi. Possibilistic Reasoning from Partially Ordered Belief Bases with the Sure Thing Principle |
| 41 | -- | 70 | Saeed Rasouli, Zeinab Zarin, Abass Hasankhan. Characterization of a New Subquasivariety of Residuated Lattice |
| 71 | -- | 96 | Pere Pardo, Enrique Sarión-Morrillo, Fernando Soler-Toscano, Fernando R. Velázquez-Quesada. Tuning the Program Transformers from CC to PDL |
| 97 | -- | 120 | Sanaz Azimipour, Pavel Naumov. Lighthouse Principle for Diffusion in Social Networks |
| 121 | -- | 164 | Romas Alonderis, Jurate Sakalauskaite. A Labelled Sequent Calculus for Half-order Modal Logic |
| 165 | -- | 184 | Anatolij Dvurecenskij, Omid Zahiri. On Epicomplete MV -algebras |
| 185 | -- | 220 | Francesco Luca De Angelis, Giovanna Di Marzo Serugendo, Andrzej Szalas. Paraconsistent Rule-based Reasoning with Graded Truth Values |
| 221 | -- | 262 | Alexander Bolotov, Daniil Kozhemiachenko, Vasilyi Shangin. Paracomplete Logic K1 ? Natural Deduction, its Automation, Complexity and Applications |
| 263 | -- | 286 | Peter Schuster 0001, Daniel Wessel. Suzumura Consistency, an Alternative Approach |
| 287 | -- | 300 | Soroush Rafiee Rad. 1 Sentences |
| 301 | -- | 318 | Philippe Balbiani, Tinko Tinchev. Elementary Unification in Modal Logic KD45 |
| 319 | -- | 366 | Syed Atif Naseem, Riaz Uddin, Osman Hasan, Diaa E. Fawzy. Probabilistic Formal Verification of Communication Network-based Fault Detection, Isolation and Service Restoration System in Smart Grid |
| 367 | -- | 388 | Giorgi Japaridze. Elementary-base Cirquent Calculus I: Parallel and Choice Connectives |
| 389 | -- | 420 | Antonio Avilés, José Miguel Zapata. 0-Convex Analysis and Conditional Set Theory |
| 421 | -- | 436 | Robert Demolombe. About Relationships Between two Individuals |
| 437 | -- | 454 | Antonio di Nola, Revaz Grigolia, Giacomo Lenzi. On the Lattice of the Subvarieties of Monadic MV (C)-algebras |