Deductive Systems and Decidability Problem for Hybrid Logics - Zawidzki (Jagiellonian University Press, 2015)
Keywords: Philosophy