| 2026 | Logic, Language, Information, and Computation - 31st International Workshop, WoLLIC 2025, Porto, Portugal, July 14-17, 2025, Proceedings Dexter Kozen, Ruy J. G. B. de Queiroz |
| 2025 | A Significance-Based Account of Ceteris paribus Counterfactuals. Avgerinos Delkos, Marianna Girlando |
| 2025 | Abstracting Conceptual Models as a Weakening Process. Elena Romanenko, Oliver Kutz, Diego Calvanese, Giancarlo Guizzardi |
| 2025 | Asymptotic Reasoning With Two Variables. J. Andres Montoya |
| 2025 | Axiomatization and Decidability of Tense Information Logic. Timo Niek Franssen, Søren Brinck Knudstorp |
| 2025 | Constructive Modal Logics: Bi-nested Calculi and Bi-relational Countermodels. Han Gao, Nicola Olivetti |
| 2025 | Convergence Laws for Expansions of Linear Preorders. Vera Koponen, Edward Karlsson |
| 2025 | Counterexamples to Import-Export in Conditionals: A Logical Analysis. Eric Raidl, Gilberto Gomes |
| 2025 | Deep Induction for Inductive Families. Patricia Johann, Edward Morehouse |
| 2025 | Denotation of Sentential Complements. Richard Zuber |
| 2025 | Graded Relation Updates in Modal Logic. Raul Fervari, Daniel Figueiredo, Manuel A. Martins |
| 2025 | Index Set Complexity for Congruence Lattices of Lattices. Bjørn Kjos-Hanssen, Paul Kim Long V. Nguyen |
| 2025 | Indicative Conditionals: Some Algebraic Considerations. Umberto Rivieccio, Miguel Muñoz Pérez |
| 2025 | Infinitary Refinement Types for Temporal Properties in Scott Domains. Colin Riba, Alexandre Kejikian |
| 2025 | Insensitive Games: Game Semantics for Modal Insensitivity. Can Baskent, David R. Gilbert, Giorgio Venturi |
| 2025 | Insignificant Choice Polynomial Time - A Logic Capturing PTIME. Klaus-Dieter Schewe |
| 2025 | Logics of Import and Export for the Implicative Conditional. Eric Raidl |
| 2025 | On Propositional Program Equivalence (Extended Abstract). Tobias Kappé |
| 2025 | On Tame Semantics for Interpretability Logic. Vicent Navarro Arroyo, Joost J. Joosten |
| 2025 | Paraconsistent Constructive Modal Logic. Han Gao, Daniil Kozhemiachenko, Nicola Olivetti |
| 2025 | Proof Search in Classical Propositional Logic with Partial Proof Terms. José Espírito Santo, Ana Catarina Sousa |
| 2025 | Tabular Intermediate Logics Comparison. Pawel Rzazewski, Michal M. Stronkowski |
| 2025 | The Satisfiability Problem in a Separation Logic of Relations. Nicolas Peltier |