semantics

2 triples
GPTKB property

Random triples
Subject Object
gptkb:modal_μ-calculus gptkb:Kripke_structures
gptkb:Moss's_coalgebraic_logic interpreted over coalgebras for a functor