Natural Deduction, Hybrid Systems and Modal Logics - Indrzejczak, Andrzej (Springer Netherlands, 2010)