No label defined (Q4251916)

From MaRDI portal
scientific article; zbMATH DE number 1304994
Language Label Description Also known as
English
No label defined
scientific article; zbMATH DE number 1304994

    Statements

    12 January 2000
    0 references
    decidability
    0 references
    axiomatization
    0 references
    propositional real-time linear temporal logics with past
    0 references
    Event Clock Logic
    0 references
    Metric Interval Temporal Logic
    0 references
    completeness
    0 references
    linear temporal logic of the real numbers
    0 references

    Identifiers