Melvin Fitting, Lars Thalmann, Andrei Voronkov. Term-Modal Logics. Studia Logica, 69(1):133-169, 2001.
@article{FittingTV01, title = {Term-Modal Logics}, author = {Melvin Fitting and Lars Thalmann and Andrei Voronkov}, year = {2001}, tags = {modal logic, logic}, researchr = {https://researchr.org/publication/FittingTV01}, cites = {0}, citedby = {0}, journal = {Studia Logica}, volume = {69}, number = {1}, pages = {133-169}, }