Michal Zawidzki

• Deductive Systems and the Decidability Problem for Hybrid Logics