Random triples
Subject | Object |
---|---|
gptkb:modal_logic_S5 | accessibility relation is an equivalence relation |
gptkb:modal_logic_S4 | reflexive and transitive accessibility relation |
Subject | Object |
---|---|
gptkb:modal_logic_S5 | accessibility relation is an equivalence relation |
gptkb:modal_logic_S4 | reflexive and transitive accessibility relation |