isDecidable

URI: https://gptkb.org/prop/isDecidable
7 triples
GPTKB property
Random triples
Subject Object
gptkb:Peano_arithmetic false
gptkb:modal_logic_S4 true
gptkb:Linear_Temporal_Logic true
gptkb:SHOIN true
gptkb:Modal_μ-calculus true
gptkb:Linear_temporal_logic True
gptkb:Generalized_QBF true