Re: Questions: Modal Monotonicity

Wonderer <iam@xxxxxxxx> wrote:

P(x) --> []P(x)

Better said with a constant:

P(a) --> []P(a)

As an example, but for the suggested axiom (which I hope is in fact
not an axiom):

Ax( P(x) --> []P(x) )

~Wonderer
.