Natural Deduction, Hybrid Systems and Modal Logics - Indrzejczak, Andrzej (Springer Science+Business Media B.V., 2010)