Hybrid Logic and its Proof-Theory
- 248bladzijden
- 9 uur lezen
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.
