Timezone: Central Standard Time, Mexico City
Venue: Centro de Docencia, Anexo Facultad de Ingeniería, Ciudad Universitaria (CU, UNAM), CDMX, Mexico
| Tuesday, October 6th.Watch the conferences on Youtube: Part 1, Part 2 |
|---|
| Time | Title | Authors |
|---|---|---|
| 09:15 - 09:30 hrs. | Welcome | |
| 09:30 - 10:10 hrs. | Formalization of the Countable Version of Dilworth's Theorem | Fabián Fernando Serrano Suárez, Thaynara Arielly de Lima and Mauricio Ayala-Rincón |
| 10:10 - 10:50 hrs. | From Bivalence to Silence: Many-Valued Logic and Non-Attachment | Mauricio Osorio-Galindo and Alfonso Garcés-Báez |
| 10:50 - 11:30 hrs. | Constrained Models for Extensions of Classical Propositional Logic With Unary Connectives | Alexander Sakharov |
| 11:30 - 11:50 hrs. | Break | |
| 11:50 - 12:30 hrs. | A Conservative Five-Valued Implication for Ineffability | Mauricio Osorio |
| 12:30 - 13:30 hrs. | Invited talk: Logics of Indicative conditionals and ordinary discourse | Dr. Umberto Riveccio |
| 13:30 - 14:10 hrs. | A triple representation for tense Kleene algebras | Ismael Calomino, Gustavo Pelaitay and Maia Starobinsky |
| Wednesday, October 7th.Watch the conferences on Youtube: click here |
|---|
| Time | Title | Authors |
|---|---|---|
| 09:30 - 10:10 hrs. | Implementing a KE-Tableau Prover for Intuitionistic Propositional Logic | Ariana Manusovich, Alejandro Solares-Rojas and Ricardo Oscar Rodriguez |
| 10:10 - 10:50 hrs. | Global Metainferential Tableaux Systems | Agustina Borzi, Bruno Da Ré and Ariel Roffé |
| 10:50 - 11:30 hrs. | Four Deductive Systems for Provability Logic | Ricardo Jaimes-Urbán and Favio E. Miranda-Perea |
| 11:30 - 11:50 hrs. | Break | |
| 11:50 - 12:30 hrs. | Cut-Elimination for a Tree Hypersequent Calculus for Graded Modal Logic | Luis Ricardo López-Villafán and Everardo Barcenas |
| 12:30 - 13:30 hrs. | Invited talk: Algorithmic randomness and mind changes | Dr. Johanna N.Y. Franklin |
| 13:30 - 14:10 hrs. | The unit interval is not enough: some issues with Hartry Field's semantics for everyday conditionals | Elisángela Ramírez-Cámara |
| Thursday, October 8th.Watch the conferences on Youtube: click here |
|---|
| Time | Title | Authors |
|---|---|---|
| 09:30 - 10:10 hrs. | Self-fabrication, role-opacity, and the limits of lambda-definability | Enrique Francisco Soto Astorga and Karla Ramírez-Pulido |
| 10:10 - 10:50 hrs. | Adequacy Floors as Defeasible Proof Obligations for Agentic AI Delegation | Ken Howarth |
| 10:50 - 11:30 hrs. | From Undecided to Underdetermined: Obligation-Aware Justification Status for Mined Argument Graphs | Toprak Seda Karaosmanoğlu |
| 11:30 - 11:50 hrs. | Break | |
| 11:50 - 12:30 hrs. | A Kripke Completeness Theorem for the Paraconsistent Logic CG'_3 | Oscar Arana, Everardo Bárcenas, Ana Claudia Golzio and Miguel Pérez-Gaspar |
| 12:30 - 13:10 hrs. | Construction and Axiomatization of a Tri-Valued Paraconsistent Logic with the Aid of ASP and ChatGPT: A Case Study in Human–AI Collaboration | José Emilio Ruiz Garza |