Decidability by resolution for propositional modal logics (Q1284704)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Decidability by resolution for propositional modal logics
scientific article

    Statements

    Decidability by resolution for propositional modal logics (English)
    0 references
    0 references
    26 April 1999
    0 references
    resolution procedures
    0 references
    decidability
    0 references
    modal reasoning
    0 references

    Identifiers