Gao, Feng; Tourlakis, George (Wydawnictwo Uniwersytetu Łódzkiego, 2015)
A well established technique toward developing the proof theory of a Hilbert-style modal logic is to introduce a Gentzen-style equivalent (a Gentzenisation), then develop the proof theory of the latter, and finally transfer ...