Tense Logics over Lattices.

Xiaoyang Wang, Yanjing Wang

Browse the full WoLLIC paper archive.