A note on the complexity of the satisfiability of modal Horn clauses (Q3762285)

From MaRDI portal
scientific article
Language Label Description Also known as
English
A note on the complexity of the satisfiability of modal Horn clauses
scientific article

    Statements

    A note on the complexity of the satisfiability of modal Horn clauses (English)
    0 references
    1987
    0 references
    complexity
    0 references
    modal Horn clauses
    0 references
    propositional modal logic
    0 references
    satisfiability
    0 references
    S5
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references