ni li pona a! mi kama sona pi toki pona. tenpo ni la mi ken toki lili, taso mi ken toki kepeken tenpo lili.
tenpo pini la mi toki e ni: mi wile musi e omori lon tenpo kama. tenpo ni la mi toki e ni: mi wile musi e omori kepeken toki pona! pona tawa sina! o pali e ni.
ante: mi kama sona sin, mi ante lili e nimi.
From what I gathered from the Wikipedia page of Kripke Models, they take the form of something like a graph (nodes and edges). My mediocre knowledge of higher math makes me wave my hands and say something about Category theory also working with graph-like structures and that sheaves and topoi definitely come up there, too.