| 2019 | Modal Logics of Finite Direct Powers of \omega Have the Finite Model Property. | Ilya Shapirovsky |
| 2019 | Substructural Propositional Dynamic Logics. | Igor Sedlr |
| 2019 | On First-Order Expressibility of Satisfiability in Submodels. | Denis I. Saveliev |
| 2019 | Cut Elimination for the Weak Modal Grzegorczyk Logic via Non-well-Founded Proofs. | Yury Savateev, Daniyar S. Shamkanov |
| 2019 | Reverse Mathematics and Computability Theory of Domain Theory. | Sam Sanders |
| 2019 | An Algorithmic Approach to the Existence of Ideal Objects in Commutative Algebra. | Thomas Powell, Peter Schuster, Franziskus Wiesnet |
| 2019 | SIXTEEN _3 in Light of Routley Stars. | Hitoshi Omori, Daniel Skurt |
| 2019 | Closure Ordinals of the Two-Way Modal -Calculus. | Gian Carlo Milanese, Yde Venema |
| 2019 | A Case for Property-Type Semantics. | Kristina Liefke |
| 2019 | Algebraic Semantics for Quasi-Nelson Logic. | Fei Liang, Thiago Nascimento |
| 2019 | Subset Models for Justification Logic. | Eveline Lehmann, Thomas Studer |
| 2019 | Modal Auxiliaries and Negation: A Type-Logical Account. | Yusuke Kubota, Robert Levine |
| 2019 | Logics for First-Order Team Properties. | Juha Kontinen, Fan Yang |
| 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 | The Complexity of Multiplicative-Additive Lambek Calculus: 25 Years Later. | Max I. Kanovich, Stepan L. Kuznetsov, Andre Scedrov |
| 2019 | An Exponential Lower Bound for Proofs in Focused Calculi. | Raheleh Jalali |
| 2019 | The Multiresolution Analysis of Flow Graphs. | Steve Huntsman |
| 2019 | Complexity Thresholds in Inclusion Logic. | Miika Hannula, Lauri Hella |
| 2019 | Proof-Net as Graph, Taylor Expansion as Pullback. | Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco |
| 2019 | Hennessy-Milner Properties for (Modal) Bi-intuitionistic Logic. | Jim de Groot, Dirk Pattinson |
| 2019 | Uniform Labelled Calculi for Conditional and Counterfactual Logics. | Marianna Girlando, Sara Negri, Giorgio Sbardolini |
| 2019 | Bar Induction and Restricted Classical Logic. | Makoto Fujiwara |
| 2019 | A Representation Theorem for Finite Gdel Algebras with Operators. | Tommaso Flaminio, Llus Godo, Ricardo Oscar Rodrguez |
| 2019 | Descriptive Complexity of Deterministic Polylogarithmic Time. | Flavio Ferrarotti, Senn Gonzlez, Jos Maria Turull Torres, Jan Van den Bussche, Jonni Virtema |
| 2019 | A Self-contained Provability Calculus for Γ | David Fernndez-Duque, Eduardo Hermo Reyes |