Modal logics of almost sure validities in some classes of euclidean and transitive frames

Vladislav Sliusarev

Given a class C of finite Kripke frames, we consider the uniform distribution on the frames from C with n states. A formula is almost surely valid in C if the probability that it i…