| Cut-free Sequent-caculi for Classical Logic |
Bruno Da Re and Damian Szmuc |
| Logic, Diagrams, and Modal Logic |
J.-Martín Castro-Manzano |
| Game Semantics for the Constructive $\mu$-calculus |
Leonardo Pacheco |
| A proof theory of converse modalities |
Diego Carrillo and Everardo Barcenas |
| Tree-hypersequents for graded modalities |
Luis Ricardo López Villafán and Everardo Bárcenas |
| Revisiting Strong Normalization: Towards a Conciliation Between the Formalism of the Lambda Calculus and the Diagrammatic Intuition of Natural Deduction |
Eduardo Ugalde-Reyes and Favio E. Miranda-Perea |
| Logics for progressive reasoning |
Fernando Cano-Jorge and Luis Estrada-González |
| Non-monotonic Weak Kleene Logics |
Agustina Borzi and Martina Zirattu |
| Comparing Tableaux Systems for Strong Kleene and Dunn-Belnap Logics |
Isabel Grabalos, Pablo Cobreros, Joaquin Toranzo Calderon, Javier Vineta and Martina Zirattu |
| On the satisfiability of inverse modalities |
Diego Medina-Martínez, Everardo Bárcenas, Rocío Aldeco-Pérez, Guillermo Molero-Castillo and Alejandro Velázquez-Mena |
| Metainferential Tableaux in the Many-valued Setting |
Aylén Melisa Bavosa Castro, Agustina Borzi, Bruno Da Ré, Ariel Roffé and Joaquín Toranzo Calderón |
| Harnessing Fuzzy Logic for Ensuring Consistency in Ambiguous Instructions within IoT |
Miguel Pérez Gaspar, Javier Gomez, Everardo Barcenas and Francisco García |
| Description Logic Verification of Smart Contracts |
Rene Davila, Everardo Barcenas and Rocio Aldeco-Perez |
| The meta-theory for empty logics |
Christian Romero-Rodriguez |
| Genuinely non-traditional logics |
Sandra D. Cuenca and Luis Estrada González |
| Connexivity meets Church and Ackermann |
Miguel Ángel Trejo-Huerta and Luis Estrada-González |
| A plea for relevance |
Fernando Cano-Jorge and Luis Estrada-González |
| Connexive logic: a case of deviance by commission |
Elisángela Ramírez Cámara |