| 2019 | A Case for Property-Type Semantics. Kristina Liefke |
| 2019 | A Framework for Distributional Formal Semantics. Noortje J. Venhuizen, Petra Hendriks, Matthew W. Crocker, Harm Brouwer |
| 2019 | A Representation Theorem for Finite Gödel Algebras with Operators. Tommaso Flaminio, Lluís Godo, Ricardo Oscar Rodríguez |
| 2019 | A Self-contained Provability Calculus for Γ David Fernández-Duque, Eduardo Hermo Reyes |
| 2019 | Algebraic Semantics for Quasi-Nelson Logic. Fei Liang, Thiago Nascimento |
| 2019 | Algebraic and Topological Semantics for Inquisitive Logic via Choice-Free Duality. Nick Bezhanishvili, Gianluca Grilletti, Wesley H. Holliday |
| 2019 | An Algorithmic Approach to the Existence of Ideal Objects in Commutative Algebra. Thomas Powell, Peter Schuster, Franziskus Wiesnet |
| 2019 | An Exponential Lower Bound for Proofs in Focused Calculi. Raheleh Jalali |
| 2019 | An Infinitary Treatment of Full Mu-Calculus. Bahareh Afshari, Gerhard Jäger, Graham E. Leigh |
| 2019 | Analytic Calculi for Monadic PNmatrices. Carlos Caleiro, Sérgio Marcelino |
| 2019 | Bar Induction and Restricted Classical Logic. Makoto Fujiwara |
| 2019 | Bar-Hillel Theorem Mechanization in Coq. Sergey Bozhko, Leyla Khatbullina, Semyon V. Grigorev |
| 2019 | Closure Ordinals of the Two-Way Modal µ-Calculus. Gian Carlo Milanese, Yde Venema |
| 2019 | Complexity Thresholds in Inclusion Logic. Miika Hannula, Lauri Hella |
| 2019 | Cut Elimination for the Weak Modal Grzegorczyk Logic via Non-well-Founded Proofs. Yury Savateev, Daniyar S. Shamkanov |
| 2019 | Descriptive Complexity of Deterministic Polylogarithmic Time. Flavio Ferrarotti, Senén González, José Maria Turull Torres, Jan Van den Bussche, Jonni Virtema |
| 2019 | Hennessy-Milner Properties for (Modal) Bi-intuitionistic Logic. Jim de Groot, Dirk Pattinson |
| 2019 | Knowledge Without Complete Certainty. Hans van Ditmarsch, Louwe B. Kuijer |
| 2019 | L-Models and R-Models for Lambek Calculus Enriched with Additives and the Multiplicative Unit. Max I. Kanovich, Stepan L. Kuznetsov, Andre Scedrov |
| 2019 | Logic, Language, Information, and Computation - 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings Rosalie Iemhoff, Michael Moortgat, Ruy J. G. B. de Queiroz |
| 2019 | Logics for First-Order Team Properties. Juha Kontinen, Fan Yang |
| 2019 | Modal Auxiliaries and Negation: A Type-Logical Account. Yusuke Kubota, Robert Levine |
| 2019 | Modal Logics of Finite Direct Powers of \omega Have the Finite Model Property. Ilya Shapirovsky |
| 2019 | Modeling the Interaction of Computer Errors by Four-Valued Contaminating Logics. Roberto Ciuni, Thomas Macaulay Ferguson, Damián Szmuc |
| 2019 | Modelling Informational Entropy. Willem Conradie, Andrew Craig, Alessandra Palmigiano, Nachoem M. Wijnberg |
| 2019 | Non Normal Logics: Semantic Analysis and Proof Theory. Jinsheng Chen, Giuseppe Greco, Alessandra Palmigiano, Apostolos Tzimoulis |
| 2019 | Note on Globally Sound Analytic Calculi for Quantifier Macros. Matthias Baaz, Anela Lolic |
| 2019 | On Combinatorial Proofs for Logics of Relevance and Entailment. Matteo Acclavio, Lutz Straßburger |
| 2019 | On First-Order Expressibility of Satisfiability in Submodels. Denis I. Saveliev |
| 2019 | Proof-Net as Graph, Taylor Expansion as Pullback. Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco |
| 2019 | Reverse Mathematics and Computability Theory of Domain Theory. Sam Sanders |
| 2019 | Rigid First-Order Hybrid Logic. Patrick Blackburn, Manuel A. Martins, María Manzano, Antonia Huertas |
| 2019 | SIXTEEN _3 in Light of Routley Stars. Hitoshi Omori, Daniel Skurt |
| 2019 | Subset Models for Justification Logic. Eveline Lehmann, Thomas Studer |
| 2019 | Substructural Propositional Dynamic Logics. Igor Sedlár |
| 2019 | The Complexity of Multiplicative-Additive Lambek Calculus: 25 Years Later. Max I. Kanovich, Stepan L. Kuznetsov, Andre Scedrov |
| 2019 | The McKinsey-Tarski Theorem for Topological Evidence Logics. Alexandru Baltag, Nick Bezhanishvili, Saúl Fernández González |
| 2019 | The Multiresolution Analysis of Flow Graphs. Steve Huntsman |
| 2019 | The One-Variable Fragment of Corsi Logic. Xavier Caicedo, George Metcalfe, Ricardo Oscar Rodríguez, Olim Frits Tuyt |
| 2019 | Uniform Labelled Calculi for Conditional and Counterfactual Logics. Marianna Girlando, Sara Negri, Giorgio Sbardolini |
| 2019 | Weak Conservativity. Richard Zuber |