Sumario
 Título / Autor(es)Página(s)
 Modal Operators over Constructive Logic / Sherkhonov, Evgeny Yu815-830
 Synthesizing Monadic Predicates / Meghini, Carlo / Spyratos, Nicolas831-848
 The Expansion Problem in Lambda Calculi with Explicit Substitution / Arbiser, Ariel849-884
 Complete Axiomatization of Discrete-Measure Almost-Everywhere Quantification / Cruz-Filipe, Luís / Rasga, João / Sernadas, Amílcar / Sernadas, Cristina885-912
 Logical Weak Completions of Paraconsistent Logics / Osorio Galindo, Mauricio / Arrazola Ramírez, José R / Carballido, José Luis913-940
 On Computational Complexity of Semilinear Varieties / Marchioni, Enrico941-958
 Standard Logics Are Valuation-Nonmonotonic / Pavicic, Mladen / Megill, Norman D959-982
 Cirquent Calculus Deepened / Japaridze, Giorgi983-1028
 On Dynamic Topological Logic of the Real Line / Nogin, Maria / Nogin, Aleksey1029-1046
 On Algebras with Iteration / Adámek, Jirí / Bloom, Stephen L / Milius, Stefan1047-1086
 Acknowledgements / 1087