Completeness and Definability of a Modal Logic Interpreted over Iterated Strict Partial Orders.

Philippe Balbiani, Levan Uridia

Browse the full AiML paper archive.