@dotcontract/kripke-machine
v0.0.6
Published
A modal logic machine working over possible worlds.
Downloads
7
Readme
kripke-machine
A modal logic machine working over possible worlds.
guard-machine
Guard Machine is a simplified Kripke Machine where all constraints must come in the form always_must (boolean_formula) [until revoked]
It has been designed to serve as replacement for a full Kripke Machine when more complex modal logic is not required, in particular during