| 2021 | Coherence via Focusing for Symmetric Skew Monoidal Categories. | Niccol Veltri |
| 2021 | Computable Execution Traces. | Declan Thompson |
| 2021 | Uniform Lyndon Interpolation for Basic Non-normal Modal Logics. | Amirhossein Akbar Tabatabai, Rosalie Iemhoff, Raheleh Jalali |
| 2021 | Explicit Non-normal Modal Logic. | Atefeh Rohani, Thomas Studer |
| 2021 | Disjunction and Negation in Information Based Semantics. | Vt Puncochr, Andrew Tedder |
| 2021 | Meaning and Computing: Two Approaches to Computable Propositions. | Ivo Pezlar |
| 2021 | Provability Games for Non-classical Logics. | Alexandra Pavlova |
| 2021 | A Pure View of Ecumenical Modalities. | Sonia Marin, Luiz Carlos Pereira, Elaine Pimentel, Emerson Sales |
| 2021 | On the Subtle Nature of a Simple Logic of the Hide and Seek Game. | Dazhu Li, Sujata Ghosh, Fenrong Liu, Yaxin Tu |
| 2021 | Analysis in a Formal Predicative Set Theory. | Nissan Levi, Arnon Avron |
| 2021 | Algorithmically Broad Languages for Polynomial Time and Space. | Daniel Leivant |
| 2021 | On the Expressive Power of TeamLTL and First-Order Team Logic over Hyperproperties. | Juha Kontinen, Max Sandstrm |
| 2021 | Axiomatic Reals and Certified Efficient Exact Real Computation. | Michal Konecn, Sewon Park, Holger Thies |
| 2021 | Verifying the Conversion into CNF in Dafny. | Viorel Iordache, Stefan Ciobaca |
| 2021 | Characterizations for XPath | Nicols Gonzlez, Sergio Abriola |
| 2021 | Uniform Interpolation via Nested Sequents. | Iris van der Giessen, Raheleh Jalali, Roman Kuznets |
| 2021 | Doubly Strongly First Order Dependencies. | Pietro Galliani |
| 2021 | Formalized Soundness and Completeness of Epistemic Logic. | Asta Halkjr From |
| 2021 | Games for Hybrid Logic - From Semantic Games to Analytic Calculi. | Robert Freiman |
| 2021 | Wanted Dead or Alive: Epistemic Logic for Impure Simplicial Complexes. | Hans van Ditmarsch |
| 2021 | Lorenzen Won the Game, Lorenz Did Too: Dialogical Logic for Ellipsis and Anaphora Resolution. | Davide Catta, Symon Jory Stevens-Guille |
| 2021 | A Logical Characterization of Constant-Depth Circuits over the Reals. | Timon Barlag, Heribert Vollmer |
| 2021 | Orthogonal Frames and Indexed Relations. | Philippe Balbiani, Sal Fernndez Gonzlez |
| 2019 | Weak Conservativity. | Richard Zuber |
| 2019 | A Framework for Distributional Formal Semantics. | Noortje J. Venhuizen, Petra Hendriks, Matthew W. Crocker, Harm Brouwer |