hasCompleteness

URI: https://gptkb.org/prop/hasCompleteness
2 triples
GPTKB property
Random triples
Subject Object
gptkb:modal_logic_S4 with respect to reflexive and transitive Kripke frames
gptkb:modal_logic_S5 complete with respect to equivalence frames