Classical and Fuzzy Two-Layered Modal Logics for Uncertainty: Translations and Proof-Theory
The International journal of computational intelligence systems/International journal of computational intelligence systems