| 2023 | A Principled Approach to Expectation Maximisation and Latent Dirichlet Allocation Using Jeffrey's Update Rule. Bart Jacobs |
| 2023 | A Separation Logic with Histories of Epistemic Actions as Resources. Hans van Ditmarsch, Didier Galmiche, Marta Gawek |
| 2023 | A Short Introduction to SHACL for Logicians. Magdalena Ortiz |
| 2023 | Aleatoric Propositions: Reasoning About Coins. Tim French |
| 2023 | An Axiom System for Basic Hybrid Logic with Propositional Quantifiers. Patrick Blackburn, Torben Braüner, Julie Lundbak Kofod |
| 2023 | An Evidence Logic Perspective on Schotch-Jennings Forcing. Tyler Brunet, Gillman Payette |
| 2023 | Bisimulations Between Verbrugge Models and Veltman Models. Tin Perkov |
| 2023 | Conditional Obligations in Justification Logic. Federico L. G. Faroldi, Atefeh Rohani, Thomas Studer |
| 2023 | Decidability of Modal Logics of Non-k-Colorable Graphs. Ilya Shapirovsky |
| 2023 | Effective Skolemization. Matthias Baaz, Anela Lolic |
| 2023 | Factive Complements are Not Always Unique Entities: A Case Study with Bangla remember. Arka Banerjee |
| 2023 | Focus-Style Proofs for the Two-Way Alternation-Free μ-Calculus. Jan Rooduijn, Yde Venema |
| 2023 | From Gödel's Incompleteness Theorem to the Completeness of Bot Beliefs - (Extended Abstract). Dusko Pavlovic, Temra Pavlovic |
| 2023 | Learning Context-Free Grammars from Positive Data and Membership Queries. Makoto Kanazawa |
| 2023 | Logic, Language, Information, and Computation - 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings Helle Hvid Hansen, Andre Scedrov, Ruy J. G. B. de Queiroz |
| 2023 | Maximally Multi-focused Proofs for Skew Non-Commutative MILL. Niccolò Veltri |
| 2023 | Parallelism in Realizability Models. Satoshi Nakata |
| 2023 | Parameterized Complexity of Propositional Inclusion and Independence Logic. Yasir Mahmood, Jonni Virtema |
| 2023 | Quantitative Global Memory. Sandra Alves, Delia Kesner, Miguel Ramos |
| 2023 | Relevant Reasoning and Implicit Beliefs. Igor Sedlár, Pietro Vigiani |
| 2023 | Structural Completeness and Superintuitionistic Inquisitive Logics. Thomas Macaulay Ferguson, Vít Puncochár |
| 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 | Two-Layered Logics for Paraconsistent Probabilities. Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko, Ondrej Majer |
| 2023 | Validity in Choice Logics - A Game-Theoretic Investigation. Robert Freiman, Michael Bernreiter |