Rolf Schock

• Logics without existence asumptions