%0 Conference Paper %1 conf/aiml/SchmidtSR14 %A Schmidt, Renate A. %A Stell, John G. %A Rydeheard, David E. %B Advances in Modal Logic %D 2014 %E Goré, Rajeev %E Kooi, Barteld P. %E Kurucz, Agi %I College Publications %K dblp %P 478-497 %T Axiomatic and Tableau-Based Reasoning for Kt(H, R). %U http://dblp.uni-trier.de/db/conf/aiml/aiml2014.html#SchmidtSR14 %@ 978-1-84890-151-3

@inproceedings{conf/aiml/SchmidtSR14, added-at = {2020-03-12T00:00:00.000+0100}, author = {Schmidt, Renate A. and Stell, John G. and Rydeheard, David E.}, biburl = {https://www.bibsonomy.org/bibtex/245edcffdbbd7a500f7b5d39d89364de3/dblp}, booktitle = {Advances in Modal Logic}, crossref = {conf/aiml/2014}, editor = {Goré, Rajeev and Kooi, Barteld P. and Kurucz, Agi}, ee = {http://www.aiml.net/volumes/volume10/Schmidt-Stell-Rydeheard.pdf}, interhash = {25d23bb5d1065c1782377bcff349e68e}, intrahash = {45edcffdbbd7a500f7b5d39d89364de3}, isbn = {978-1-84890-151-3}, keywords = {dblp}, pages = {478-497}, publisher = {College Publications}, timestamp = {2024-04-09T20:03:17.000+0200}, title = {Axiomatic and Tableau-Based Reasoning for Kt(H, R).}, url = {http://dblp.uni-trier.de/db/conf/aiml/aiml2014.html#SchmidtSR14}, year = 2014 }