| 2026 | Two Generalizations of Shininess. | Guilherme Vicentin de Toledo, Yoni Zohar |
| 2026 | Decidability of MSO Reparameterization over Countable Chains. | Alexander Rabinovich |
| 2026 | Knowledge and Common Knowledge of Strategies. | Borja Sierra Miranda, Thomas Studer |
| 2026 | Axiomatizing Eventual Common Knowledge. | Roman Kuznets, Rojo Randrianomentsoa, Thomas Studer |
| 2026 | A Natural Axiomatization of Bchi Arithmetic. | Konstantin Kovalyov |
| 2026 | Model Comparison Game and n-Bisimulation for Conditional Logic. | Xiaoxuan Fu, Zhiguang Zhao |
| 2026 | Shadowy Institutions. | Siddharth Bhaskar, Robin Kaarsgaard |
| 2026 | A Circuit-Theoretic View of rmFO over Semirings. | Timon Barlag, Nicolas Frhlich, Teemu Hankala, Miika Juhani Hannula, Minna Hirvonen, Vivian Holzapfel, Juha Kontinen, Arne Meier, Laura Strieker |
| 2026 | Possible and Impossible Conditionals for Team Logics. | Fausto Barbero, Fan Yang |
| 2025 | Denotation of Sentential Complements. | Richard Zuber |
| 2025 | Insignificant Choice Polynomial Time - A Logic Capturing PTIME. | Klaus-Dieter Schewe |
| 2025 | Proof Search in Classical Propositional Logic with Partial Proof Terms. | Jos Esprito Santo, Ana Catarina Sousa |
| 2025 | Tabular Intermediate Logics Comparison. | Pawel Rzazewski, Michal M. Stronkowski |
| 2025 | Abstracting Conceptual Models as a Weakening Process. | Elena Romanenko, Oliver Kutz, Diego Calvanese, Giancarlo Guizzardi |
| 2025 | Indicative Conditionals: Some Algebraic Considerations. | Umberto Rivieccio, Miguel Muoz Prez |
| 2025 | Infinitary Refinement Types for Temporal Properties in Scott Domains. | Colin Riba, Alexandre Kejikian |
| 2025 | Counterexamples to Import-Export in Conditionals: A Logical Analysis. | Eric Raidl, Gilberto Gomes |
| 2025 | Logics of Import and Export for the Implicative Conditional. | Eric Raidl |
| 2025 | The Satisfiability Problem in a Separation Logic of Relations. | Nicolas Peltier |
| 2025 | Asymptotic Reasoning With Two Variables. | J. Andres Montoya |
| 2025 | Convergence Laws for Expansions of Linear Preorders. | Vera Koponen, Edward Karlsson |
| 2025 | Index Set Complexity for Congruence Lattices of Lattices. | Bjrn Kjos-Hanssen, Paul Kim Long V. Nguyen |
| 2025 | On Propositional Program Equivalence (Extended Abstract). | Tobias Kapp |
| 2025 | Deep Induction for Inductive Families. | Patricia Johann, Edward Morehouse |
| 2025 | Constructive Modal Logics: Bi-nested Calculi and Bi-relational Countermodels. | Han Gao, Nicola Olivetti |