Logics without existence assumptions - Schock, Rolf (Almqvist & Wiksell, 1968)