P.S. Proofs re modal intervals
To avoid possible confusion: Alexandre Goldsztejn pointed out that while my interpretation seems to be mathematically consistent, the original Gardenes papers contain different quantifiers.
-----Original Message-----
From: Alexandre Goldsztejn [mailto:alexandre.goldsztejn@xxxxxxxxx]
In the theory by Gardenes, the quantifiers in the modal
intervals and the quantifiers in the quantified propositions are
different. I think the item (ii) of the simple example page 3 of the
document I sent makes it clear.
http://hal.archives-ouvertes.fr/hal-00294219/en/
Alexandre
Dr. Alexandre Goldsztejn
CNRS - Laboratoire d'Informatique de Nantes Atlantique
Office : +33 2 51 12 58 37 Mobile : +33 6 78 04 94 87
Web: www.goldsztejn.com
Email: alexandre.goldsztejn@xxxxxxxxxxxxxx