Axiomatizing the lexicographic products of modal logics with linear temporal logic.

Philippe Balbiani, David Fernndez-Duque

Browse the full AiML paper archive.