Term-Modal Logics

Melvin Fitting, Lars Thalmann, Andrei Voronkov. Term-Modal Logics. Studia Logica, 69(1):133-169, 2001.

Abstract

Abstract is missing.