Title	Author(s)	Abstract
A labelled sequent calculus for HYPE	Elio La Rosa	PDF
A joint logic of problems and propositions	Anastasia Onoprienko	PDF
Arithmetical applications of Baaz's generalization method	Lorenzo Sauras-Altuzarra	PDF
Boxing modal logics	Valentin Shehtman	PDF
Computer-assisted proofs and mathematical understanding: The case of univalent foundations	Andrei Rodin	PDF
Definability of graph properties in modal languages	Vladislav Slyusarev	PDF
Exactly true and non-falsity versions of Deutsch's logic	Alex Belikov, Yaroslav Petrukhin	PDF
Gentzenizing R	Mirjana Ilić	PDF
Towards capturing PTIME with no counting construct (but with a version of Hilbert's choice operator epsilon)	Eugenia Ternovska	PDF
Ideas of metagraph-based types	Yuriy E. Gapanyuk, Anatoly Nardid, Dmitry Zuev	PDF
Infinitary action logic with exponentiation	Stepan L. Kuznetsov, Stanislav O. Speranski	PDF
Lindström theorem for predicate intuitionistic logic	Grigory Olkhovikov	PDF
On a possibility of finite characterizations for Kripke complete non-recursively axiomatizable superintuitionistic predicate logics	Dmitrij Skvortsov	PDF
On globally sound analytic calculi for quantifier macros	Anela Lolic	PDF
On multilattice counterparts of MNT4, S4, and S5	Oleg Grigoriev, Yaroslav Petrukhin	PDF
On relationship between complexity function and complexity of validity in propositional modal logic	Mikhail Rybakov, Dmitry Shkatov	PDF
Platform-independent model of fix-point arithmetic for verification of the standard mathematical functions	Nikolay V. Shilov, Dmitry Kondratiev	PDF
Presburger arithmetic and Visser's conjecture	Alexander Zapryagaev	PDF
Set theory in the MathSem program	Andrey Luxemburg	PDF
The distributive full Lambek calculus with modal operators	Daniel Rogozin	PDF
The number of axioms	Juan P. Aguilera, Matthias Baaz, Jan Bydzovsky	PDF
Unrefutability by clause set cycles	Jannik Vierling	PDF