The Unrestricted Combination of Temporal Logic Systems. - Marcelo Finger; M. Angela Weiss (Log. J. IGPL, 2002)

Completeness of Certain Bimodal Logics for Subset Spaces. - M. Angela Weiss; Rohit Parikh (Stud Logica, 2002)