Prime implicates and prime implicants in modal logic

    AAAI, pp. 379-384, 2007.

    Cited by: 18|Bibtex|Views0|Links
    EI
    Keywords:
    different potential definitionbasic modal logicprime implicantscomplexity resultsatisfactory definitionMore(4+)

    Abstract:

    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

    Code:

    Data:

    Your rating :
    0

     

    Tags
    Comments