An Algorithm for Computing Prime Implicates in Modal Logic Using Resolution

Manoj K. Raut

In this paper we have proposed an algorithm for computing prime implicates of a modal formula in $\mathbf{K}$ using resolution method suggested in \cite{Enjalbert}. The algorithm s…