Displaying Modal Logic

Focusing on proof systems for modal and constructive logics, this monograph delves into display logic, a refinement of Gentzen's sequent calculus. It highlights the rapid development of non-classical logics and aims to compare various generalized Gentzen systems, discussing their advantages and disadvantages. While not exhaustive, the work builds on previous research and provides introductory context in each chapter. The author reflects on the philosophical implications and acknowledges contributions from various sources throughout the text.