The temporal logic of linear time frames with inductions axiom (Q2454548)

From MaRDI portal
Revision as of 08:13, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
The temporal logic of linear time frames with inductions axiom
scientific article

    Statements

    title
    The temporal logic of linear time frames with inductions axiom (English)
    0 references
    author
    Veta Fedorovna Yun
    0 references
    publication date
    13 June 2014
    0 references
    zbMATH Keywords
    temporal logic
    0 references
    Kripke frames
    0 references
    axiomatization
    0 references
    finite model property
    0 references

    Identifiers

    zbMATH DE Number
    6304319
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2454548&oldid=27187884"
    Powered by MediaWiki