hasModalAxiom

URI: https://gptkb.org/prop/hasModalAxiom
2 triples
GPTKB property
Random triples
Subject Object
gptkb:modal_logic_T gptkb:T_axiom
gptkb:modal_logic_T □A → A