| 2021 | A General Relational Semantics of Propositional Logic: Axiomatization. Shengyang Zhong |
| 2021 | A Logical Characterization of Constant-Depth Circuits over the Reals. Timon Barlag, Heribert Vollmer |
| 2021 | A Pure View of Ecumenical Modalities. Sonia Marin, Luiz Carlos Pereira, Elaine Pimentel, Emerson Sales |
| 2021 | Algorithmically Broad Languages for Polynomial Time and Space. Daniel Leivant |
| 2021 | Analysis in a Formal Predicative Set Theory. Nissan Levi, Arnon Avron |
| 2021 | Axiomatic Reals and Certified Efficient Exact Real Computation. Michal Konecný, Sewon Park, Holger Thies |
| 2021 | Characterizations for XPath Nicolás González, Sergio Abriola |
| 2021 | Coherence via Focusing for Symmetric Skew Monoidal Categories. Niccolò Veltri |
| 2021 | Computable Execution Traces. Declan Thompson |
| 2021 | Disjunction and Negation in Information Based Semantics. Vít Puncochár, Andrew Tedder |
| 2021 | Doubly Strongly First Order Dependencies. Pietro Galliani |
| 2021 | Explicit Non-normal Modal Logic. Atefeh Rohani, Thomas Studer |
| 2021 | Formalized Soundness and Completeness of Epistemic Logic. Asta Halkjær From |
| 2021 | Games for Hybrid Logic - From Semantic Games to Analytic Calculi. Robert Freiman |
| 2021 | Logic, Language, Information, and Computation - 27th International Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings Alexandra Silva, Renata Wassermann, Ruy J. G. B. de Queiroz |
| 2021 | Lorenzen Won the Game, Lorenz Did Too: Dialogical Logic for Ellipsis and Anaphora Resolution. Davide Catta, Symon Jory Stevens-Guille |
| 2021 | Meaning and Computing: Two Approaches to Computable Propositions. Ivo Pezlar |
| 2021 | Modal Logic via Global Consequence. Xuefeng Wen |
| 2021 | On the Expressive Power of TeamLTL and First-Order Team Logic over Hyperproperties. Juha Kontinen, Max Sandström |
| 2021 | On the Subtle Nature of a Simple Logic of the Hide and Seek Game. Dazhu Li, Sujata Ghosh, Fenrong Liu, Yaxin Tu |
| 2021 | Orthogonal Frames and Indexed Relations. Philippe Balbiani, Saúl Fernández González |
| 2021 | Provability Games for Non-classical Logics. Alexandra Pavlova |
| 2021 | Uniform Interpolation via Nested Sequents. Iris van der Giessen, Raheleh Jalali, Roman Kuznets |
| 2021 | Uniform Lyndon Interpolation for Basic Non-normal Modal Logics. Amirhossein Akbar Tabatabai, Rosalie Iemhoff, Raheleh Jalali |
| 2021 | Verifying the Conversion into CNF in Dafny. Viorel Iordache, Stefan Ciobaca |
| 2021 | Wanted Dead or Alive: Epistemic Logic for Impure Simplicial Complexes. Hans van Ditmarsch |