"many modal logics" - related articles and key terms