Probabilistic modal logic as a foundation for knowledge management | IEEE Conference Publication | IEEE Xplore