Logics without existence assumptions. - Schock Rolf (Stuckholm Almqvist & wiksell, 1968)