Temporal Logic

GPTKB entity

Statements (28)
Predicate Object
gptkbp:instanceOf gptkb:logic
Formal System
gptkbp:appliesTo Model Checking
Program Verification
Specification of Systems
gptkbp:describes Change Over Time
Temporal Relations
gptkbp:developedBy gptkb:Arthur_Prior
gptkbp:fieldOfStudy gptkb:logic
Computer Science
https://www.w3.org/2000/01/rdf-schema#label Temporal Logic
gptkbp:introducedIn 1960s
gptkbp:operator Next
Always
Eventually
Until
gptkbp:relatedTo gptkb:logic
gptkb:Dynamic_Logic
gptkbp:studiedIn Theoretical Computer Science
Philosophy of Time
gptkbp:subspecies gptkb:Linear_Temporal_Logic
gptkb:Interval_Temporal_Logic
Branching Temporal Logic
gptkbp:usedIn gptkb:artificial_intelligence
gptkb:philosophy
Verification
gptkbp:bfsParent gptkb:logic
gptkbp:bfsLayer 4