6 citations · 7 across the 3 of their papers we have counts for
1 paper · 1 filter
Manoj K. Raut
In this paper we have proposed an algorithm for computing prime implicates of a modal formula in K using resolution method suggested in \cite{Enjalbert}. The algorithm s…