A decidable multi-agent logic with iterations of upper and lower probability operators
scientific article; zbMATH DE number 6894599