Robuta

https://easychair.org/smart-slide/slide/zcq4
fuzzy modal logicvan benthemtheorem