Displaying modal logic

Descrição: The present monograph is a slightly revised version of my Habilitations schrift Proof-theoretic Aspects of Intensio... Veja mais