Studia Logica: An International Journal for Symbolic Logic