Evaluating modal logic formula in Typst

[tall mauve]

I spent a bit of time playing around to evaluate modal logic formulas in Kripke models using Typst. The diagram for the model is drawn using fletcher

https://gist.github.com/uetcis/8df87d4f7ed30f53a7ceea41115199b4

[slate marlin]

so cool

if you'd like, the idiomatic case for Typst vars/functions is kebab-case

[tiny aurora]

this is great; i took a modal logic class this quarter. i ended up using the unicode diamond since it looked more similar to what is used in the literature

with some futzing around with margin

wish i had seen this post earlier hehe

the graphs are really neat

[tall mauve]

Lmao we’re taking the same class

[tiny aurora]

LOL no way

[tall mauve]

See the common servers

[tiny aurora]

wait who are you

that class is really small

[tall mauve]

You wanna see my final paper written using typst

[tall mauve]

DM