| 0 | -- | 0 | Pietro Galliani. Doubly strongly first-order dependencies |
| 0 | -- | 0 | Atefeh Rohani, Thomas Studer. Explicit non-normal modal logic |
| 0 | -- | 0 | Santiago Figueira, Gabriel Goren Roig. Modal logic with relations over paths: A theoretical development through comonadic semantics |
| 0 | -- | 0 | Sonia Marin, Luiz Carlos Pereira, Elaine Pimentel, Emerson Sales. Separability and harmony in ecumenical systems |
| 0 | -- | 0 | Amirhossein Akbar Tabatabai, Rosalie Iemhoff, Raheleh Jalali. Uniform lyndon interpolation for basic non-normal modal and conditional logics |
| 0 | -- | 0 | Iris van der Giessen, Raheleh Jalali, Roman Kuznets. Uniform interpolation via nested sequents and hypersequents |
| 0 | -- | 0 | Hans van Ditmarsch, Roman Kuznets. Wanted dead or alive: epistemic logic for impure simplicial complexes |
| 0 | -- | 0 | Nick Bezhanishvili, Luca Carai, Silvio Ghilardi, Zhiguang Zhao. A calculus for modal compact Hausdorff spaces |
| 0 | -- | 0 | Federico Almiñana, Gustavo Pelaitay. On Heyting algebras with negative tense operators II |
| 0 | -- | 0 | Shengyang Zhong. Propositional logic and modal logic - A connection via relational semantics |
| 0 | -- | 0 | Serikzhan A. Badaev, Nikolay Bazhenov 0001, Sergey Goncharov 0002, Birzhan S. Kalmurzayev, Alexander G. Melnikov. A non-computable c.e. closed subset of [0,1] |
| 0 | -- | 0 | Asta Halkjær From. Formalized soundness and completeness of epistemic and public announcement logic |
| 0 | -- | 0 | Jan Lastovicka. A domain calculus based on Heyting-valued logic |
| 0 | -- | 0 | Fabio Aurelio D'Asaro, Francesco A. Genco, Giuseppe Primiero. Checking trustworthiness of probabilistic computations in a typed natural deduction system |
| 0 | -- | 0 | Niccolò Veltri. Coherence via focusing for symmetric skew monoidal and symmetric skew closed categories |
| 0 | -- | 0 | Timon Barlag, Heribert Vollmer. A logical characterization of constant-depth circuits over the reals |
| 0 | -- | 0 | Bartosz Bednarczyk, Daumantas Kojelis, Ian Pratt-Hartmann. The adjacent fragment and Quine's limits of decision |
| 0 | -- | 0 | Robert Freiman. Games for hybrid logic from semantic games to analytic calculi |
| 0 | -- | 0 | Alexandra Silva 0001, Renata Wassermann, Ruy J. G. B. de Queiroz. 27th Workshop on Logic, Language, Information and Computation - WoLLIC 2021 |
| 0 | -- | 0 | Michal Konecný, Sewon Park 0001, Holger Thies. Extracting efficient exact real number computation from proofs in constructive type theory |