| 1 | -- | 7 | Lev D. Beklemishev, Guram Bezhanishvili, Daniele Mundici, Yde Venema. Foreword |
| 9 | -- | 15 | . Students of Leo Esakia |
| 17 | -- | 30 | Sergei N. Artëmov. The Ontology of Justifications in the Logical Setting |
| 31 | -- | 60 | Johan van Benthem, Nick Bezhanishvili, Ian M. Hodkinson. Sahlqvist Correspondence for Modal mu-calculus |
| 61 | -- | 89 | Nick Bezhanishvili, Dick De Jongh. Extendible Formulas in Two Variables in Intuitionistic Logic |
| 91 | -- | 114 | Sergio A. Celani, Hernán Javier San Martín. Frontal Operators in Weak Heyting Algebras |
| 115 | -- | 135 | Alex Citkin. Not Every Splitting Heyting or Interior Algebra is Finitely Presentable |
| 137 | -- | 161 | Brian A. Davey, Hilary A. Priestley. Canonical Extensions and Discrete Dualities for Finitely Generated Varieties of Lattice-based Algebras |
| 163 | -- | 173 | Leo Esakia, Benedikt Löwe. Fatal Heyting Algebras and Forcing Persistent Sentences |
| 175 | -- | 191 | Robert Goldblatt. Topological Proofs of Some Rasiowa-Sikorski Lemmas |
| 193 | -- | 222 | Yuri Gurevich, Grant Olney Passmore. Impugning Randomness, Convincingly |
| 223 | -- | 252 | Achim Jung, Umberto Rivieccio. Priestley Duality for Bilattices |
| 253 | -- | 278 | Vincenzo Marra, Luca Spada. The Dual Adjunction between MV-algebras and Tychonoff Spaces |
| 279 | -- | 287 | Grigori Mints. Effective Cut-elimination for a Fragment of Modal mu-calculus |
| 289 | -- | 317 | Franco Montagna. Δ-core Fuzzy Logics with Propositional Quantifiers, Quantifier Elimination and Uniform Craig Interpolation |
| 319 | -- | 338 | Sergei P. Odintsov, E. I. Latkin. BK-lattices. Algebraic Semantics for Belnapian Modal Logics |
| 339 | -- | 359 | Hiroakira Ono. Crawley Completions of Residuated Lattices and Algebraic Completeness of Substructural Predicate Logics |
| 361 | -- | 383 | Dmitrij P. Skvortsov. Kripke Sheaf Completeness of some Superintuitionistic Predicate Logics with a Weakened Constant Domains Principle |
| 385 | -- | 397 | Dimiter Vakarelov. Dynamic Modalities |
| 399 | -- | 418 | Albert Visser. The Second Incompleteness Theorem and Bounded Interpretations |
| 419 | -- | 435 | Francisco Zapata, Vladik Kreinovich. Reconstructing an Open Order from Its Closure, with Applications to Space-Time Physics and to Logic |