Temporal logic extended with object creation and destruction.

Shin Miyakawa, Naoki Yonezaki

Browse the full SEKE paper archive.