|
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
|