A New Method to Obtain Termination in Backward Proof Search for Modal Logic S4

摘要

We are grateful to one of anonymous referee who had presented two counterexamples indicating the faults in our paper, and to the editor of the issue Nicola Olivetti who informed us about the situation and enabled a possibility to amend our paper.