Renate A. Schmidt, John G. Stell, David E. Rydeheard. Axiomatic and Tableau-Based Reasoning for Kt(H, R). In Rajeev Goré, Barteld P. Kooi, Agi Kurucz, editors, Advances in Modal Logic 10, invited and contributed papers from the tenth conference on "Advances in Modal Logic," held in Groningen, The Netherlands, August 5-8, 2014. pages 478-497, College Publications, 2014. [doi]
@inproceedings{SchmidtSR14,
title = {Axiomatic and Tableau-Based Reasoning for Kt(H, R)},
author = {Renate A. Schmidt and John G. Stell and David E. Rydeheard},
year = {2014},
url = {http://www.aiml.net/volumes/volume10/Schmidt-Stell-Rydeheard.pdf},
researchr = {https://researchr.org/publication/SchmidtSR14},
cites = {0},
citedby = {0},
pages = {478-497},
booktitle = {Advances in Modal Logic 10, invited and contributed papers from the tenth conference on "Advances in Modal Logic," held in Groningen, The Netherlands, August 5-8, 2014},
editor = {Rajeev Goré and Barteld P. Kooi and Agi Kurucz},
publisher = {College Publications},
isbn = {978-1-84890-151-3},
}