Embedded Files
02/06/2025
02/06/2025
11:00 - 12:00
Three alternative systems with alternatives
Three alternative systems with alternatives
Luiz Carlos Pereira
12:00 - 14:00
Lunch
Lunch
14:00 - 15:00
A Sequent Calculus Perspective on Base-Extension Semantics
A Sequent Calculus Perspective on Base-Extension Semantics
Victor Barroso-Nascimento
15:00 - 15:30
Coffee break
Coffee break
15:30 - 17:00
Discussion: Ecumenical systems
Discussion: Ecumenical systems
03/06/2025
03/06/2025
11:00 - 12:00
The Modal Cube Revisited: Semantics without Worlds
The Modal Cube Revisited: Semantics without Worlds
Carlos Olarte
12:00 - 14:00
Lunch
Lunch
14:00 - 15:00
Conservative translations revisited
Cristina Sernadas & João Rasga
15:00 - 15:30
Coffee break
Coffee break
15:30 - 16:20
Discussion: Semantics -- PtS, Models and etc
Discussion: Semantics -- PtS, Models and etc
16:30 - 18:00
Visit: Museu da Cidade
Visit: Museu da Cidade
Social dinner
04/06/2025
04/06/2025
11:00 - 12:00
Bilateral base-extension semantics
Maria Osório
12:00 - 14:00
Lunch
Lunch
14:00 - 15:00
From Classical to Linear Logic: One Core, Many Translations
Gilda Ferreira
15:00 - 15:30
Coffee break
Coffee break
15:30 - 17:00
Discussion: translations & the future
Page updated
Google Sites
Report abuse