@inproceedings{f724487de83e4d4c9c1cc188d04ff86c,
title = "Term-Modal Logics",
author = "Melvin Fitting and Lars Thalmann and Andrei Voronkov and Roy Dyckhoff",
year = "2000",
language = "English",
isbn = "3-540-67697-X",
volume = "1847",
series = "Lecture Notes in Computer Science",
publisher = "Springer Nature",
pages = "220--236",
editor = "Roy Dyckhoff",
booktitle = "TABLEAUX",
address = "United States",
note = "Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000, Proceedings ; Conference date: 01-01-1824",
url = "http://dblp.uni-trier.de/db/conf/tableaux/tableaux2000.html#FittingTV00http://dblp.uni-trier.de/rec/bibtex/conf/tableaux/FittingTV00.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/tableaux/FittingTV00",
}