Torben Braüner Knihy

This book offers a comprehensive exploration of hybrid logic and its proof-theory, extending modal logic to allow explicit references to individual points in models. It addresses deficiencies in traditional modal proof systems by presenting a range of effective proof systems for various hybrid logics, enhancing reasoning about specific instances.