Last released Oct 6, 2023
A package for checking the validity of many-valued modal formulas
Supported by