Indrzejczak A. Simple Decision Procedure for S5 in Standard Cut-Free Sequent Calculus. B Sect Log [Internet]. 2016 Jun. 30 [cited 2024 May 4];45(2):125–140. Available from: https://czasopisma.uni.lodz.pl/bulletin/article/view/1482