|
gptkb:modal_μ-calculus
|
decidable
|
|
gptkb:Presburger_arithmetic
|
decidable
|
|
gptkb:linear_bounded_automaton
|
emptiness problem is undecidable
|
|
gptkb:propositional_μ-calculus
|
decidable
|
|
gptkb:Propositional_Dynamic_Logic
|
decidable
|
|
gptkb:Halpern–Shoham_logic
|
undecidable in general
|
|
gptkb:Gödel–Löb_provability_logic
|
decidable
|
|
gptkb:linear_bounded_automata
|
emptiness problem is undecidable
|
|
gptkb:first-order_logic_with_equality
|
undecidable
|
|
gptkb:linear_bounded_automaton
|
membership problem is decidable
|
|
gptkb:full_μ-calculus
|
decidable
|
|
gptkb:monadic_first-order_logic
|
decidable
|
|
gptkb:System_F_omega
|
undecidable type inference
|