Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Complete Axiomatization for Projection Temporal Logic with Finite Time - MaRDI portal

Complete Axiomatization for Projection Temporal Logic with Finite Time (Q3109143)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Complete Axiomatization for Projection Temporal Logic with Finite Time
scientific article

    Statements

    title
    Complete Axiomatization for Projection Temporal Logic with Finite Time (English)
    0 references
    author
    Xinfeng Shu
    0 references
    Zhenhua Duan
    0 references
    publication date
    27 January 2012
    0 references
    zbMATH Keywords
    projection temporal logic
    0 references
    completeness proof
    0 references
    theorem proving
    0 references
    formal method
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68Q60
    0 references
    03B44
    0 references
    68T15
    0 references
    zbMATH DE Number
    6001716
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3109143&oldid=27497291"
    Powered by MediaWiki