Products of modal logics. III. Products of modal and temporal logics (Q1863827)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Products of modal logics. III. Products of modal and temporal logics
scientific article

    Statements

    Products of modal logics. III. Products of modal and temporal logics (English)
    0 references
    12 March 2003
    0 references
    product of modal logics
    0 references
    temporal logic
    0 references
    finite model property
    0 references
    product finite model property
    0 references
    finite depth method
    0 references
    decidability
    0 references
    classical first-order logic
    0 references
    relation algebra
    0 references
    0 references
    0 references

    Identifiers