Decidability of Modal System S5: A Recursive Algorithm. (2008)
J. A. Alonso, E. Briales, Facultad Matemáticas
Abstract.- The decidability method, given in [6], for modal system S5 uses the reduced modal normal form. In this paper we present a recursive algorithm for computing the reduced modal normal form...