| 2022 | Material Dialogues for First-Order Logic in Constructive Type Theory. | Dominik Wehr, Dominik Kirst |
| 2022 | Tense Logics over Lattices. | Xiaoyang Wang, Yanjing Wang |
| 2022 | Mining the Surface: Witnessing the Low Complexity Theorems of Arithmetic. | Amirhossein Akbar Tabatabai |
| 2022 | Additive Types in Quantitative Type Theory. | Vt Sefl, Toms Svoboda |
| 2022 | Embedding Kozen-Tiuryn Logic into Residuated One-Sorted Kleene Algebra with Tests. | Igor Sedlr, Johann J. Wannenburg |
| 2022 | On the Computational Properties of the Uncountability of the Real Numbers. | Sam Sanders |
| 2022 | The Alternation Hierarchy of the μ-calculus over Weakly Transitive Frames. | Leonardo Pacheco, Kazuyuki Tanaka |
| 2022 | Combinatorial Flows as Bicolored Atomic Flows. | Giti Omidvar, Lutz Straburger |
| 2022 | What Kinds of Connectives Cause the Difference Between Intuitionistic Predicate Logic and the Logic of Constant Domains? | Naosuke Matsuda, Kento Takagi |
| 2022 | A Proof of the Focusing Theorem via MALL Proof Nets. | Roberto Maieli |
| 2022 | Multityped Abstract Categorial Grammars and Their Composition. | Pierre Ludmann, Sylvain Pogodalla, Philippe de Groote |
| 2022 | A Logic of "Black Box" Classifier Systems. | Xinghan Liu, Emiliano Lorini |
| 2022 | Strongly First Order, Domain Independent Dependencies: The Union-Closed Case. | Pietro Galliani |
| 2022 | Logic of Visibility in Social Networks. | Rustam Galimullin, Mina Young Pedersen, Marija Slavkovik |
| 2022 | Fixed Point Logics and Definable Topological Properties. | David Fernndez-Duque, Quentin Gougeon |
| 2022 | Subordination Algebras as Semantic Environment of Input/Output Logic. | Andrea De Domenico, Ali Farjami, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere, Xiaolong Wang |
| 2022 | The Limits to Gossip: Second-Order Shared Knowledge of All Secrets is Unsatisfiable. | Hans van Ditmarsch, Malvin Gattinger |
| 2022 | Towards an Intuitionistic Deontic Logic Tolerating Conflicting Obligations. | Tiziano Dalmonte, Charles Grellois, Nicola Olivetti |
| 2022 | Presburger Bchi Tree Automata with Applications to Logics with Expressive Counting. | Bartosz Bednarczyk, Oskar Fiuk |
| 2022 | Non-monotonic Reasoning via Dynamic Consequence. | Carlos Areces, Valentin Cassano, Raul Fervari |
| 2022 | Interval Probability for Sessions Types. | Bogdan Aman, Gabriel Ciobanu |
| 2022 | Time and Gdel: Fuzzy Temporal Reasoning in PSPACE. | Juan P. Aguilera, Martn Diguez, David Fernndez-Duque, Brett McLean |
| 2022 | Abstract Cyclic Proofs. | Bahareh Afshari, Dominik Wehr |
| 2021 | A General Relational Semantics of Propositional Logic: Axiomatization. | Shengyang Zhong |
| 2021 | Modal Logic via Global Consequence. | Xuefeng Wen |