Is there a logic with quantifier "almost always".

169 Views Asked by At

I would like to describe a reasoning with quantifier "almost always". For example, if probability of $Z$ is above $95$%, I would like to say that $Z$ is "almost always true".

Is there a modal or fuzzy logic with such a quantifier? If not, is it even possible to define a logic with this quantifier? May be, it would contradict some assumptions about quantifiers in a meaningful logic?

1

There are 1 best solutions below

0
On

This logic exists https://www.researchgate.net/publication/221551396_The_Modal_Logic_of_Probability

I just found it. They define modal operators L_a, meaning probability is above a. I guess, modal operator is something used in propositional logic, and quantifiers are used with predicates with variables.