Non-labelled sequent calculi of public announcement expansions of \textbf{K45} and \textbf{S5}
scientific article; zbMATH DE number 7871922
scientific article