Items where authors include "Rydeheard, DE"

Proceedings Paper

Schmidt, RA, Stell, JG and Rydeheard, DE (2014) Axiomatic and tableau-based reasoning for Kt(H,R). In: Goré, R, Kooi, B and Kurucz, A, (eds.) Advances in Modal Logic. Advances In Modal Logic, 05-08 Aug 2014, Groningen, Netherlands. College Publications , 478 - 497. ISBN 978-1-84890-151-3