| 2022 | Intuitionistic Modality and Beth Semantics. | Satoru Niki |
| 2022 | Algebraic Semantics for One-Variable Lattice-Valued Logics. | George Metcalfe, Naomi Tokuda, Petr Cintula |
| 2022 | Choice-Free de Vries Duality. | Guillaume Massas |
| 2022 | Verification of Multi-Agent Properties in Electronic Voting: A Case Study. | Wojtek Jamroga, Lukasz Masko, Lukasz Mikulski, Witold Pazderski, Wojciech Penczek, Teofil Sidoruk, Damian Kurpiewski |
| 2022 | Uniform Lyndon interpolation for intuitionistic monotone modal logic. | Rosalie Iemhoff, Raheleh Jalali, Amirhossein Akbar Tabatabai |
| 2022 | Compatibility and accessibility: Lattice representations for semantics of non-classical and modal logics. | Wesley H. Holliday |
| 2022 | Non-classical modal logic for natural language. | Wesley H. Holliday |
| 2022 | EXPTIME-hardness of higher-dimensional Minkowski spacetime. | Robin Hirsch, Brett McLean |
| 2022 | A multi-modal logic for Galois connections. | Inmaculada Perez de Guzmn, Antonio Yuste-Ginel, Alfredo Burrieza |
| 2022 | Goldblatt-Thomason Theorems for Modal Intuitionistic Logics. | Jim de Groot |
| 2022 | Medvedev logic is the logic of finite distributive lattices without top element. | Gianluca Grilletti |
| 2022 | A New Hope. | Krisztina Fruzsa, Roman Kuznets, Hans van Ditmarsch |
| 2022 | Submodel Enumeration of Kripke Structures in Modal Logic. | Nicolas Frhlich, Arne Meier |
| 2022 | Algorithmic correspondence and analytic rules. | Andrea De Domenico, Giuseppe Greco |
| 2022 | Comparative plausibility in neighbourhood models: axiom systems and sequent calculi. | Tiziano Dalmonte, Marianna Girlando |
| 2022 | Wijesekera-style constructive modal logics. | Tiziano Dalmonte |
| 2022 | Modal inverse correspondence via ALBA. | Willem Conradie, Mattia Panettiere |
| 2022 | On parametric phenomena in correspondence theory. | Willem Conradie |
| 2022 | Describing neighborhoods in inquisitive modal logic. | Ivano Ciardelli |
| 2022 | Completeness for an Intuitionistic Modal Logic of Vagueness. | Ahmee Christensen |
| 2022 | Local Dependence and Guarding. | Balder ten Cate, Raoul Koudijs, Johan van Benthem |
| 2022 | Projective unification through duality. | Philippe Balbiani, Quentin Gougeon |
| 2022 | Parametrized modal logic I: An introduction. | Philippe Balbiani, Sal Fernndez Gonzlez |
| 2022 | Robinson consistency in many-sorted hybrid first-order logics. | Guillermo Badia, Tomasz Kowalski, Daniel Gaina |
| 2022 | Saturation-Based Uniform Interpolation for Multi-Modal Logics. | Ruba Alassaf, Renate A. Schmidt, Uli Sattler |