modalOperators

URI: https://gptkb.org/prop/modalOperators
4 triples
GPTKB property
Random triples
Subject Object
gptkb:Computation_Tree_Logic U (until)
gptkb:Computation_Tree_Logic X (next)
gptkb:Computation_Tree_Logic G (globally)
gptkb:Computation_Tree_Logic F (eventually)