WIP Seminar
Previous Years: Archive
All talks are on Fridays: 17:30 – 19:00 at IIF-SADAF-CONICET
Chair: Eduardo Barrio
2025
| Date | Paper | Presented by |
|---|---|---|
| March 7 | Eliana Franceschini (IIF-SADAF-CONICET / UBA) | A sequent calculus for K3 and Cut’s Anti-elimination Theorem. |
| March 14 | Camila Gallovich (IIF-SADAF-CONICET / UBA) | TBA |
| March 21 | ||
| March 28 | Laura Delgado (University of Lisbon) | The Logic of Polyreference |
| April 4 | Daniel Grimaldi (UBA) | Estudio lógico-matemático de una familia de operadores de actualización no-priorizados de bases de conocimiento” |
| April 11 | Camillo Fiore (IIF-SADAF-CONICET / UBA) | LP, K3, FDE, and their generalized classical collapse |
| April 18 | Holidays | |
| April 25 | Mariela Rubin (IIF-SADAF-CONICET / UBA) |
Natural Deduction for ST
|
| May 2 | Holidays | |
| May 9 | Alejandro Solares (University of Buenos Aires) | KE tableaux for a family of Gödel Modal Logics. |
| May 16 | Federico Pailos (IIF-SADAF-CONICET / UBA) | Preserving suspension of judgment |
| May 23 | Bruno Da Re (IIF-SADAF-CONICET / UBA) | TBA |
| May 30 | Juan Manuel Di Leo (University of Buenos Aires) | ST n-Valued |
| June 6 | Ricardo Rodriguez (University of Buenos Aires) | Twist-structures isomorphic to modal Nelson Lattices |
| June 13 | Damian Szmuc (IIF-SADAF-CONICET / UBA) | Non-deterministic semantics for logics of analytic implication |
| June 20 | Holidays | |
| June 27 | Joaquín Toranzo (IIF-SADAF-CONICET / UBA) | TBA |
| July 04 |
Jonathan Erenfryd (IIF-SADAF-CONICET / UBA) |
TBA |
| July 11 | Edson Bezerra (IIF-SADAF-CONICET) | Condicionales y Clausura Deductiva |
| July 18 | Xavi Viñeta (Universidad de Navarra) | TBA |
| July 25 | Ramiro Caso (IIF-SADAF-CONICET) | TBA |
| August 01 | XIV Workshop on Philosophical Logic | |
| August 08 | ||
| August 15 | Holidays | |
| August 22 | ||
| August 29 | ||
| Sept 5 | ||
| Sept 12 | ||
| Sept 19 | ||
| Sept 26 | ||
| Oct 03 | ||
| Oct 10 | ||
| Oct 17 | ||
| Oct 24 | ||
| Oct 31 | ||
| Nov 7 | ||
| Nov 14 | ||
| Nov 21 | Holidays | |
| Nov 28 | ||
| Dic 05 | ||
| Dic 12 | ||
| Dic 19 |