Experimental data and results for the logic Kt(H,R)

This is the webpage accompanying work undertaken by Renate Schmidt, John Stell and David Rydeheard on the logic Kt(H,R), a tense logic with S4 modalities and a K modalities interacting via the stability property H;R;H subset R.

Problem sets and results as one zip file: kthr14_results.zip

Long version of paper published in Advances in Modal Logic, Volume 10, College Publ. (2014): kthr.pdf