Propositional linear temporal logic with initial validity semantics (Q271908)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Propositional linear temporal logic with initial validity semantics
scientific article

    Statements

    Propositional linear temporal logic with initial validity semantics (English)
    0 references
    0 references
    20 April 2016
    0 references
    temporal logic
    0 references
    very strict until operator
    0 references
    completeness
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references