Reasoning Under the Principle of Maximum Entropy for Modal Logics K45, KD45, and S5

Tivadar Papai, Henry Kautz, Daniel Stefankovic

We propose modal Markov logic as an extension of propositional Markov logic to reason under the principle of maximum entropy for modal logics K45, KD45, and S5. Analogous to propos…