| 2023 | Decidability of Modal Logics of Non-k-Colorable Graphs. | Ilya Shapirovsky |
| 2023 | Relevant Reasoning and Implicit Beliefs. | Igor Sedlr, Pietro Vigiani |
| 2023 | Focus-Style Proofs for the Two-Way Alternation-Free μ-Calculus. | Jan Rooduijn, Yde Venema |
| 2023 | Bisimulations Between Verbrugge Models and Veltman Models. | Tin Perkov |
| 2023 | From Gdel's Incompleteness Theorem to the Completeness of Bot Beliefs - (Extended Abstract). | Dusko Pavlovic, Temra Pavlovic |
| 2023 | A Short Introduction to SHACL for Logicians. | Magdalena Ortiz |
| 2023 | Parallelism in Realizability Models. | Satoshi Nakata |
| 2023 | Parameterized Complexity of Propositional Inclusion and Independence Logic. | Yasir Mahmood, Jonni Virtema |
| 2023 | Learning Context-Free Grammars from Positive Data and Membership Queries. | Makoto Kanazawa |
| 2023 | A Principled Approach to Expectation Maximisation and Latent Dirichlet Allocation Using Jeffrey's Update Rule. | Bart Jacobs |
| 2023 | Subsumption-Linear Q-Resolution for QBF Theorem Proving. | Allen Van Gelder |
| 2023 | Towards an Induction Principle for Nested Data Types. | Peng Fu, Peter Selinger |
| 2023 | Aleatoric Propositions: Reasoning About Coins. | Tim French |
| 2023 | Validity in Choice Logics - A Game-Theoretic Investigation. | Robert Freiman, Michael Bernreiter |
| 2023 | Structural Completeness and Superintuitionistic Inquisitive Logics. | Thomas Macaulay Ferguson, Vt Puncochr |
| 2023 | Conditional Obligations in Justification Logic. | Federico L. G. Faroldi, Atefeh Rohani, Thomas Studer |
| 2023 | A Separation Logic with Histories of Epistemic Actions as Resources. | Hans van Ditmarsch, Didier Galmiche, Marta Gawek |
| 2023 | An Evidence Logic Perspective on Schotch-Jennings Forcing. | Tyler Brunet, Gillman Payette |
| 2023 | An Axiom System for Basic Hybrid Logic with Propositional Quantifiers. | Patrick Blackburn, Torben Braner, Julie Lundbak Kofod |
| 2023 | Two-Layered Logics for Paraconsistent Probabilities. | Marta Blkov, Sabine Frittella, Daniil Kozhemiachenko, Ondrej Majer |
| 2023 | Factive Complements are Not Always Unique Entities: A Case Study with Bangla remember. | Arka Banerjee |
| 2023 | Effective Skolemization. | Matthias Baaz, Anela Lolic |
| 2023 | Quantitative Global Memory. | Sandra Alves, Delia Kesner, Miguel Ramos |
| 2022 | Correspondence Theory for Generalized Modal Algebras. | Zhiguang Zhao |
| 2022 | Expressing Power of Elementary Quantum Recursion Schemes for Quantum Logarithmic-Time Computability. | Tomoyuki Yamakami |