| 2022 | A New Hope. Krisztina Fruzsa, Roman Kuznets, Hans van Ditmarsch |
| 2022 | A multi-modal logic for Galois connections. Inmaculada Perez de Guzmán, Antonio Yuste-Ginel, Alfredo Burrieza |
| 2022 | Advances in Modal Logic, AiML 2022, Rennes, France, August 22-25, 2022. David Fernández-Duque, Alessandra Palmigiano, Sophie Pinchinat |
| 2022 | Algebraic Semantics for One-Variable Lattice-Valued Logics. George Metcalfe, Naomi Tokuda, Petr Cintula |
| 2022 | Algorithmic correspondence and analytic rules. Andrea De Domenico, Giuseppe Greco |
| 2022 | An Epistemic Interpretation of Tensor Disjunction. Yanjing Wang, Yunsong Wang, Haoyu Wang |
| 2022 | An analytic proof system for common knowledge logic over S5. Jan Rooduijn, Lukas Zenger |
| 2022 | Analytic Cut and Mints - Symmetric Interpolation Method for Bi-intuitionistic Tense Logic. Hiroakira Ono, Katsuhiko Sano |
| 2022 | Choice-Free de Vries Duality. Guillaume Massas |
| 2022 | Combinatorial Proofs for Constructive Modal Logic. Matteo Acclavio, Lutz Straßburger |
| 2022 | Comparative plausibility in neighbourhood models: axiom systems and sequent calculi. Tiziano Dalmonte, Marianna Girlando |
| 2022 | Compatibility and accessibility: Lattice representations for semantics of non-classical and modal logics. Wesley H. Holliday |
| 2022 | Completeness for an Intuitionistic Modal Logic of Vagueness. Ahmee Christensen |
| 2022 | Describing neighborhoods in inquisitive modal logic. Ivano Ciardelli |
| 2022 | Direct elimination of additive-cuts in GL4ip: verified and extracted. Ian Shillito, Rajeev Goré |
| 2022 | EXPTIME-hardness of higher-dimensional Minkowski spacetime. Robin Hirsch, Brett McLean |
| 2022 | Explanations in logic. Francesca Poggiolesi |
| 2022 | Goldblatt-Thomason Theorems for Modal Intuitionistic Logics. Jim de Groot |
| 2022 | Graded modal logic with a single modality. Mattia Panettiere, Apostolos Tzimoulis |
| 2022 | Intuitionistic Modality and Beth Semantics. Satoru Niki |
| 2022 | Labelled sequent calculi for logics of strict implication. Eugenio Orlandelli, Matteo Tesi |
| 2022 | Local Dependence and Guarding. Balder ten Cate, Raoul Koudijs, Johan van Benthem |
| 2022 | Medvedev logic is the logic of finite distributive lattices without top element. Gianluca Grilletti |
| 2022 | Medvedev's logic and products of converse well orders. Denis I. Saveliev, Ilya Shapirovsky |
| 2022 | Modal inverse correspondence via ALBA. Willem Conradie, Mattia Panettiere |
| 2022 | Modal logic and the polynomial hierarchy: from QBFs to K and back. Anupam Das, Sonia Marin |
| 2022 | Non-classical modal logic for natural language. Wesley H. Holliday |
| 2022 | Not the sky, but the third floor is the limit: Zero-one laws for provability logic, S4, and K4. Rineke Verbrugge |
| 2022 | On parametric phenomena in correspondence theory. Willem Conradie |
| 2022 | Parametrized modal logic I: An introduction. Philippe Balbiani, Saúl Fernández González |
| 2022 | Projective unification through duality. Philippe Balbiani, Quentin Gougeon |
| 2022 | Provability Logics of Hierarchies. Amirhossein Akbar Tabatabai |
| 2022 | Relevant Reasoners in a Classical World. Igor Sedlár, Pietro Vigiani |
| 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 |
| 2022 | Submodel Enumeration of Kripke Structures in Modal Logic. Nicolas Fröhlich, Arne Meier |
| 2022 | Taming Bounded Depth with Nested Sequents. Lutz Straßburger, Matteo Tesi, Agata Ciabattoni |
| 2022 | Uniform Lyndon interpolation for intuitionistic monotone modal logic. Rosalie Iemhoff, Raheleh Jalali, Amirhossein Akbar Tabatabai |
| 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 | Wijesekera-style constructive modal logics. Tiziano Dalmonte |