On the proof theory of infinitary modal logic
scientific article; zbMATH DE number 7625358
scientific article