|
gptkb:existential_second-order_logic
|
less than full second-order logic
|
|
gptkb:deterministic_Muller_automaton
|
omega-regular languages
|
|
gptkb:second-order_lambda_calculus_with_type_operators
|
can encode all computable functions
|
|
gptkb:monadic_first-order_logic
|
less than full first-order logic
|
|
gptkb:modal_μ-calculus
|
greater than CTL*
|
|
gptkb:propositional_μ-calculus
|
can express properties not definable in CTL or LTL
|
|
gptkb:modal_μ-calculus
|
greater than LTL
|
|
gptkb:modal_μ-calculus
|
greater than CTL
|
|
gptkb:existential_second-order_logic
|
greater than first-order logic
|