decidability

13 triples
GPTKB property

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