Glivenko classes of sequents for temporal logic with time gaps (Q1873253)

From MaRDI portal
Revision as of 05:01, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
scientific article
Language Label Description Also known as
English
Glivenko classes of sequents for temporal logic with time gaps
scientific article

    Statements

    Glivenko classes of sequents for temporal logic with time gaps (English)
    0 references
    0 references
    19 May 2003
    0 references
    temporal logic
    0 references
    sequent calculus
    0 references
    Glivenko classes
    0 references
    proof-theoretical methods
    0 references

    Identifiers