Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals (Q1740653)

From MaRDI portal
Revision as of 20:51, 17 August 2024 by Daniel (talk | contribs) (‎Created claim: Wikidata QID (P12): Q128279235, #quickstatements; #temporary_batch_1723924200075)
scientific article
Language Label Description Also known as
English
Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals
scientific article

    Statements

    Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    2 May 2019
    0 references
    interval temporal logics
    0 references
    satisfiability
    0 references
    decidability
    0 references
    computational complexity
    0 references
    0 references
    0 references
    0 references

    Identifiers

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