| 2021 | Towards a more efficient approach for the satisfiability of two-variable logic. | Ting-Wei Lin, Chia-Hsuan Lu, Tony Tan |
| 2021 | Separating Rank Logic from Polynomial Time. | Moritz Lichter |
| 2021 | A Compositional Cost Model for the λ-calculus. | James Laird |
| 2021 | Perspective Multi-Player Games. | Orna Kupferman, Noam Shenwald |
| 2021 | Positive First-order Logic on Words. | Denis Kuperberg |
| 2021 | Internal ∞-Categorical Models of Dependent Type Theory : Towards 2LTT Eating HoTT. | Nicolai Kraus |
| 2021 | Expressivity of Quantitative Modal Logics : Categorical Foundations via Codensity and Approximation. | Yuichi Komorida, Shin-ya Katsumata, Clemens Kupke, Jurriaan Rot, Ichiro Hasuo |
| 2021 | Finite Model Theory of the Triguarded Fragment and Related Logics. | Emanuel Kieronski, Sebastian Rudolph |
| 2021 | Supermartingales, Ranking Functions and Probabilistic Lambda Calculus. | Andrew Kenyon-Roberts, C.-H. Luke Ong |
| 2021 | Living without Beth and Craig: Definitions and Interpolants in the Guarded and Two-Variable Fragments. | Jean Christoph Jung, Frank Wolter |
| 2021 | Commutative Monads for Probabilistic Programming Languages. | Xiaodong Jia, Bert Lindenhovius, Michael W. Mislove, Vladimir Zamdzhiev |
| 2021 | Compositional relational reasoning via operational game semantics. | Guilhem Jaber, Andrzej S. Murawski |
| 2021 | Combinatorial Proofs and Decomposition Theorems for First-order Logic. | Dominic J. D. Hughes, Lutz Straburger, Jui-Hsuan Wu |
| 2021 | Parikh's theorem for infinite alphabets. | Piotr Hofman, Marta Juzepczuk, Slawomir Lasota, Mohnish Pattathurajan |
| 2021 | Demonic Lattices and Semilattices in Relational Semigroups with Ordinary Composition. | Robin Hirsch, Jas Semrl |
| 2021 | On sequentiality and well-bracketing in the π-calculus. | Daniel Hirschkoff, Enguerrand Prebet, Davide Sangiorgi |
| 2021 | Quantitative and Approximate Monitoring. | Thomas A. Henzinger, N. Ege Sara |
| 2021 | Monomial size vs. Bit-complexity in Sums-of-Squares and Polynomial Calculus. | Tuomas Hakoniemi |
| 2021 | The Smash Product of Monoidal Theories. | Amar Hadzihasanovic |
| 2021 | Gdel-McKinsey-Tarski and Blok-Esakia for Heyting-Lewis Implication. | Jim de Groot, Tadeusz Litak, Dirk Pattinson |
| 2021 | The Logic of Graph Neural Networks. | Martin Grohe |
| 2021 | Assuming Just Enough Fairness to make Session Types Complete for Lock-freedom. | Rob van Glabbeek, Peter Hfner, Ross Horne |
| 2021 | Global Optimisation with Constructive Reals. | Dan R. Ghica, Todd Waugh Ambridge |
| 2021 | Removing Redundant Refusals: Minimal Complete Test Suites for Failure Trace Semantics. | Maciej Gazda, Robert M. Hierons |
| 2021 | A Relational Theory of Monadic Rewriting Systems, Part I. | Francesco Gavazzo, Claudia Faggian |