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