Indexed Frames and Hybrid Logics.

Philippe Balbiani, Sal Fernndez Gonzlez

Browse the full AiML paper archive.