| 1 | -- | 0 | . Cover Picture |
| 3 | -- | 5 | . Contents: (Math. Log. Quart. 1/2020) |
| 6 | -- | 0 | . Editorial |
| 7 | -- | 19 | Stefano Baratella, Andrea Masini. A two-dimensional metric temporal logic |
| 20 | -- | 36 | Lorna Gregory, Sonia L'Innocente, Carlo Toffalori. The torsion-free part of the Ziegler spectrum of orders over Dedekind domains |
| 37 | -- | 50 | Stefano Mazzanti. New substitution bases for complexity classes |
| 51 | -- | 64 | Zvonko Iljazovic. Computability of graphs |
| 65 | -- | 72 | Jonas Reitz. Cohen forcing and inner models |
| 73 | -- | 81 | Athipat Thamrongthanyalak. On p-adic semi-algebraic continuous selections |
| 82 | -- | 90 | Nathanaël Mariaule. Expansions of the p-adic numbers that interpret the ring of integers |
| 91 | -- | 98 | Paulo Oliva, Chuangjie Xu. On the Herbrand functional interpretation |
| 99 | -- | 103 | Masahiro Shioya, Naoki Yamaura. Local weak presaturation of the strongly non-stationary ideal |
| 104 | -- | 114 | Johanna N. Y. Franklin, Reed Solomon. Lowness for isomorphism, countable ideals, and computable traceability |
| 115 | -- | 120 | Arthur W. Apter. On weak square, approachability, the tree property, and failures of SCH in a choiceless context |