| 2022 | A Logic of "Black Box" Classifier Systems. Xinghan Liu, Emiliano Lorini |
| 2022 | A Proof of the Focusing Theorem via MALL Proof Nets. Roberto Maieli |
| 2022 | Abstract Cyclic Proofs. Bahareh Afshari, Dominik Wehr |
| 2022 | Additive Types in Quantitative Type Theory. Vít Sefl, Tomás Svoboda |
| 2022 | Combinatorial Flows as Bicolored Atomic Flows. Giti Omidvar, Lutz Straßburger |
| 2022 | Correspondence Theory for Generalized Modal Algebras. Zhiguang Zhao |
| 2022 | Embedding Kozen-Tiuryn Logic into Residuated One-Sorted Kleene Algebra with Tests. Igor Sedlár, Johann J. Wannenburg |
| 2022 | Expressing Power of Elementary Quantum Recursion Schemes for Quantum Logarithmic-Time Computability. Tomoyuki Yamakami |
| 2022 | Fixed Point Logics and Definable Topological Properties. David Fernández-Duque, Quentin Gougeon |
| 2022 | Interval Probability for Sessions Types. Bogdan Aman, Gabriel Ciobanu |
| 2022 | Logic of Visibility in Social Networks. Rustam Galimullin, Mina Young Pedersen, Marija Slavkovik |
| 2022 | Logic, Language, Information, and Computation - 28th International Workshop, WoLLIC 2022, Iași, Romania, September 20-23, 2022, Proceedings Agata Ciabattoni, Elaine Pimentel, Ruy J. G. B. de Queiroz |
| 2022 | Material Dialogues for First-Order Logic in Constructive Type Theory. Dominik Wehr, Dominik Kirst |
| 2022 | Mining the Surface: Witnessing the Low Complexity Theorems of Arithmetic. Amirhossein Akbar Tabatabai |
| 2022 | Multityped Abstract Categorial Grammars and Their Composition. Pierre Ludmann, Sylvain Pogodalla, Philippe de Groote |
| 2022 | Non-monotonic Reasoning via Dynamic Consequence. Carlos Areces, Valentin Cassano, Raul Fervari |
| 2022 | On the Computational Properties of the Uncountability of the Real Numbers. Sam Sanders |
| 2022 | Presburger Büchi Tree Automata with Applications to Logics with Expressive Counting. Bartosz Bednarczyk, Oskar Fiuk |
| 2022 | Strongly First Order, Domain Independent Dependencies: The Union-Closed Case. Pietro Galliani |
| 2022 | Subordination Algebras as Semantic Environment of Input/Output Logic. Andrea De Domenico, Ali Farjami, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere, Xiaolong Wang |
| 2022 | Tense Logics over Lattices. Xiaoyang Wang, Yanjing Wang |
| 2022 | The Alternation Hierarchy of the μ-calculus over Weakly Transitive Frames. Leonardo Pacheco, Kazuyuki Tanaka |
| 2022 | The Limits to Gossip: Second-Order Shared Knowledge of All Secrets is Unsatisfiable. Hans van Ditmarsch, Malvin Gattinger |
| 2022 | Time and Gödel: Fuzzy Temporal Reasoning in PSPACE. Juan P. Aguilera, Martín Diéguez, David Fernández-Duque, Brett McLean |
| 2022 | Towards an Intuitionistic Deontic Logic Tolerating Conflicting Obligations. Tiziano Dalmonte, Charles Grellois, Nicola Olivetti |
| 2022 | What Kinds of Connectives Cause the Difference Between Intuitionistic Predicate Logic and the Logic of Constant Domains? Naosuke Matsuda, Kento Takagi |