A Decidable Multi-agent Logic with Iterations of Upper and Lower Probability Operators

TitleA Decidable Multi-agent Logic with Iterations of Upper and Lower Probability Operators
Publication TypeConference Paper
Year of Publication2018
AuthorsDoder, D, Savić, N, Ognjanović, Z
Conference NameFoundations of Information and Knowledge Systems - 10th International Symposium, FoIKS 2018, Budapest, Hungary, May 14-18, 2018, Proceedings
Pagination170–185
URLhttp://www.iam.unibe.ch/ltgpub/2018/dos18.pdf