Re: That other flavour...
Alexandre Goldsztejn a écrit:
> > Then proper([l,r]) means Ex(x in Set([l,r])) (l <= r)
> > improp([l,r]) means Ax(x in Set([l,r])) (l >= r)
>
> This is a common misunderstanding of the modal intervals theory.
Yes, I left out something important: the quantification applies
to some specific *property* P(x) of elements of the set, not to
the existence itself. I should have written:
Prop(X) is associated with Ex(x \in Set(X) : P(x))
(That's what happens when quickly scribbled notes are transferred
to a more formal document such as a posting. Sorry.)
Nate explained it more clearly in his section 1.1 "Logical Semantics".
Michel.
---Sent: 2013-09-24 13:37:00 UTC