semantics

URI: https://gptkb.org/prop/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