Hennessy-Milner Type Theorems for Fuzzy Multimodal Logics Over Heyting Algebras

Marko Stankovic, Miroslav Ciric 0001, Jelena Ignjatovic. Hennessy-Milner Type Theorems for Fuzzy Multimodal Logics Over Heyting Algebras. Multiple-Valued Logic and Soft Computing, 39(2-4):341-379, 2022. [doi]

Abstract

Abstract is missing.