Computing Theory Prime Implicates in Modal Logic

Manoj K. Raut

The algorithm to compute theory prime implicates, a generalization of prime implicates, in propositional logic has been suggested in \cite{Marquis}. In this paper we have extended…