expressiveness

8 triples
GPTKB property

Random triples
Subject Object
gptkb:CTL* more expressive than CTL and LTL
gptkb:Computation_Tree_Logic Less expressive than CTL*
gptkb:Computation_Tree_Logic Incomparable to Linear Temporal Logic
gptkb:Monadic_Second-Order_Logic more expressive than first-order logic
gptkb:first-order_predicate_calculus less than second-order logic
gptkb:Presburger_arithmetic less expressive than Peano arithmetic
gptkb:Computation_Tree_Logic* more expressive than CTL and LTL
gptkb:Monadic_Second-Order_Logic less expressive than full second-order logic