Constructing possible worlds

[1]  P. Martin-Lof,et al.  Constructive mathematics and computer programming , 1984, Philosophical Transactions of the Royal Society of London. Series A, Mathematical and Physical Sciences.

[2]  John Perry.  From Worlds to Situations , 1986 .

[3]  Robert Stalnaker.  Possible Worlds and Situations , 1986 .

[4]  J. Barwise,et al.  Scenes and other Situations , 1981 .

[5]  Stig Kanger,et al.  The Morning Star Paradox , 2008 .