Gabbay's separation theorem

GPTKB entity

Statements (10)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:appliesTo linear temporal logic
gptkbp:describes separation of temporal logic formulas
gptkbp:field gptkb:logic
https://www.w3.org/2000/01/rdf-schema#label Gabbay's separation theorem
gptkbp:namedAfter gptkb:Dov_Gabbay
gptkbp:publishedIn 1976
gptkbp:state every temporal logic formula is equivalent to a formula in separated normal form
gptkbp:bfsParent gptkb:Dov_Gabbay
gptkbp:bfsLayer 6