Paraconsistent provability logic and rational epistemic agents