Prime implicates and prime implicants in modal logic
AAAI, pp. 379-384, 2007.
different potential definitionbasic modal logicprime implicantscomplexity resultsatisfactory definitionMore(4+)
The purpose of this paper is to extend the notions of prime implicates and prime implicants to the basic modal logic κ. We consider a number of different potential definitions of clauses and terms for κ, which we evaluate with respect to their syntactic, semantic, and complexity-theoretic properties. We then continue our analysis by compa...More
PPT (Upload PPT)