Term-Modal Logics

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

Possibly Related Publications

The following publications are possibly variants of this publication: