Axiomatic and Tableau-Based Reasoning for Kt(H, R) - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Renate A. Schmidt' in GoogleThis author has not been identified. Look up 'John G. Stell' in GoogleThis author has not been identified. Look up 'David E. Rydeheard' in Google

runs on WebDSL