Axiomatic and Tableau-Based Reasoning for Kt(H, R).

Renate A. Schmidt, John G. Stell, David E. Rydeheard

Browse the full AiML paper archive.