How constructive is Gödel's Dialectica translation?
Seminário de Lógica Matemática, por Stephen Mackereth (Dartmouth College, USA).
Lógica
On the alleged failure of Frege’s original programme
Seminário de Lógica Matemática, por Fernando Ferreira (University of Lisbon).
Verifiability: an Empirical Account of Meaning
Mathematical Logic Seminar, por Paulo Guilherme Santos (ISCAL and CMAFcIO).
Dissymetrical Linear Logics
Mathematical Logic Seminar, por Jean-Baptiste Joinet (Université Jean Moulin, Lyon 3, France).
(Bounded) Model Checking Distributed Temporal Logic
Mathematical Logic Seminar, por Jaime Ramos (IST - Universidade de Lisboa).
Determinacy and Infinite Games
Mathematical Logic Seminar, por Niko Gruben (Universidade de Lisboa).
Peano Arithmetic minus and Robinson's Arithmetic Siblings, so alike but so different
Mathematical Logic Seminar, por Albert Visser (Utrecht University).
The power of the power set axiom
Mathematical Logic Seminar, por António Marques Fernandes (Instituto Superior Técnico - Universidade de Lisboa).
A Graph Calculus for Combinatory Intensional Logic
Mathematical Logic Seminar, por Clarence Protin (Universidade Aberta).
On the proof theory of modal logics
Mathematical Logic Seminar, por Maria Osório Costa (CMAFcIO, Faculdade de Ciências da Universidade de Lisboa).