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

From MaRDI portal
ReferenceBot (talk | contribs)
Changed an Item
Created claim: Wikidata QID (P12): Q128279235, #quickstatements; #temporary_batch_1723924200075
Property / Wikidata QID
 
Property / Wikidata QID: Q128279235 / rank
 
Normal rank

Revision as of 20:51, 17 August 2024

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